Manual:WebInstallerOptions.php