Default index.php.