Some PHP fixes.

* Use `<?php if ($logged_in): ?>`
* Use alternative syntax for control structures
* Restore the footer
* /logout should be /user/logout