Clean index.php.

Fix formatting; change PHP tag style; no functional changes.