Manual:WebInstallerRestart.php