index.php recovery

Steven and I agreed monday to use the index.php, so here it's back.
Someone had deleted it.