Revert "Delete install.php"

This reverts commit d2ee346dcc8de28fc8156f2b3de4204eda8f45c7.