MediaWiki 1.17.0 grew wgUpgradeKey parameter.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

diff --git a/wizard/app/mediawiki.py b/wizard/app/mediawiki.py
index 2b6498b298362aaae7a120632e5b3f186a492135..12d0c483c7532f02e0bb317772773aa5787ea926 100644 (file)
--- a/wizard/app/mediawiki.py
+++ b/wizard/app/mediawiki.py
@@ -31,6 +31,7 @@ seed = util.dictmap(make_filename_regex, {
         'WIZARD_DBUSER': 'wgDBuser',
         'WIZARD_DBPASSWORD': 'wgDBpassword',
         'WIZARD_SECRETKEY': ('wgSecretKey', 'wgProxyKey'),
+        'WIZARD_UPGRADEKEY': 'wgUpgradeKey',
         })
 
 class Application(app.Application):
@@ -42,6 +43,7 @@ class Application(app.Application):
     substitutions = app.make_substitutions(seed)
     substitutions.update(php.substitutions)
     install_schema = install.ArgSchema("db", "admin", "email", "title")
+    random_keys = set(['WIZARD_SECRETKEY', 'WIZARD_UPGRADEKEY'])
     def download(self, version):
         series = ".".join(str(version).split(".")[:2])
         return "http://download.wikimedia.org/mediawiki/%s/mediawiki-%s.tar.gz" % (series, version)