index.php: Lint