]> scripts.mit.edu Git - wizard.git/blobdiff - wizard/app/mediawiki.py
Update MediaWiki config regexes
[wizard.git] / wizard / app / mediawiki.py
index 95d0e321a891ab5a489fc1f4da119bf5afc5bd9b..83018ce6a59c700ef305089815b0b5ed5b67ed40 100644 (file)
@@ -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',
@@ -74,7 +76,7 @@ class Application(app.Application):
                     "--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)