Module 0309: Logging in and session maintaining in PHP (server-side)
Module content (HTML generated by htlatex)