X-Git-Url: https://scripts.mit.edu/gitweb/wizard.git/blobdiff_plain/cd3bb88429f0020b4d9db0f773d72c9cb64cfbfd..30380c4b5b28df9670ea5952e14bc485d1d34133:/wizard/app/mediawiki.py diff --git a/wizard/app/mediawiki.py b/wizard/app/mediawiki.py index 035de39..c6ac8ae 100644 --- a/wizard/app/mediawiki.py +++ b/wizard/app/mediawiki.py @@ -1,20 +1,18 @@ import re import distutils.version import os -import datetime +import lxml.cssselect +import lxml.etree +import StringIO import logging -import shlex -import shutil -from wizard import app, deploy, install, resolve, scripts, shell, util +from wizard import app, install, resolve, shell, util from wizard.app import php def make_filename_regex(var): - return 'LocalSettings.php', re.compile('^(\$' + app.expand_re(var) + r'''\s*=\s*)(.*)(;)''', re.M) + return 'LocalSettings.php', php.re_var(var) -make_extractor = app.filename_regex_extractor(make_filename_regex) -make_substitution = app.filename_regex_substitution(make_filename_regex) -seed = { +seed = util.dictmap(make_filename_regex, { 'WIZARD_IP': 'IP', # obsolete, remove after we're done 'WIZARD_SITENAME': 'wgSitename', 'WIZARD_SCRIPTPATH': 'wgScriptPath', @@ -24,9 +22,80 @@ seed = { 'WIZARD_DBUSER': 'wgDBuser', 'WIZARD_DBPASSWORD': 'wgDBpassword', 'WIZARD_SECRETKEY': ('wgSecretKey', 'wgProxyKey'), - } + }) -resolutions = { +class Application(app.Application): + database = "mysql" + parametrized_files = ['LocalSettings.php'] + php.parametrized_files + deprecated_keys = set(['WIZARD_IP']) | php.deprecated_keys + extractors = app.make_extractors(seed) + extractors.update(php.extractors) + substitutions = app.make_substitutions(seed) + substitutions.update(php.substitutions) + install_schema = install.ArgSchema("db", "admin", "email", "title") + def checkConfig(self, deployment): + return os.path.isfile("LocalSettings.php") + def detectVersion(self, deployment): + return self.detectVersionFromFile("includes/DefaultSettings.php", php.re_var("wgVersion")) + def checkWeb(self, deployment): + return self.checkWebPage(deployment, "/index.php?title=Main_Page", "