Add an index.php file.