Adding index.php to the repository