Update MediaWiki config regexes

[wizard.git] / wizard / app / mediawiki.py

diff --git a/wizard/app/mediawiki.py b/wizard/app/mediawiki.py
index 507c0cb600a323e69fb677b74de4495fc037d6bb..83018ce6a59c700ef305089815b0b5ed5b67ed40 100644 (file)
--- a/wizard/app/mediawiki.py
+++ b/wizard/app/mediawiki.py
@@ -24,7 +24,9 @@ def make_filename_regex(var):
 seed = util.dictmap(make_filename_regex, {
         'WIZARD_IP': 'IP', # obsolete, remove after we're done
         'WIZARD_SITENAME': 'wgSitename',
+        'WIZARD_META_NAMESPACE': 'wgMetaNamespace',
         'WIZARD_SCRIPTPATH': 'wgScriptPath',
+        'WIZARD_SERVER': 'wgServer',
         'WIZARD_EMERGENCYCONTACT': ('wgEmergencyContact', 'wgPasswordSender'),
         'WIZARD_DBSERVER': 'wgDBserver',
         'WIZARD_DBNAME': 'wgDBname',
@@ -67,14 +69,14 @@ class Application(app.Application):
                 shell.call("make")
         try:
             result = shell.eval(
-                    "php", "maintenance/install.php",
+                    "php", "-c", ".", "maintenance/install.php",
                     "--dbname", options.dsn.database,
                     "--dbpass", options.dsn.password,
                     "--dbserver", options.dsn.host,
                     "--dbuser", options.dsn.username,
                     "--email", options.email,
                     "--pass", options.admin_password,
-                    "--server", "http://" + options.web_host,
+                    "--server", "https://" + options.web_host,
                     "--scriptpath", options.web_path,
                     options.title, options.admin_name,
                     log=True)