index.php deleted from repository.