Removing Unnecessary index.php File

See the discussion in #4265 for the reason we're removing this `index.php` file.