Reindent index.php