Restore the web/index.php file modified by #167