Index.php contains the same stuff as index.html.