X-Git-Url: https://scripts.mit.edu/gitweb/wizard.git/blobdiff_plain/31253eca10ab83a98b0921ac6bbbb22b90ff2af3..30380c4b5b28df9670ea5952e14bc485d1d34133:/wizard/app/mediawiki.py diff --git a/wizard/app/mediawiki.py b/wizard/app/mediawiki.py index fc81613..c6ac8ae 100644 --- a/wizard/app/mediawiki.py +++ b/wizard/app/mediawiki.py @@ -4,6 +4,7 @@ import os import lxml.cssselect import lxml.etree import StringIO +import logging from wizard import app, install, resolve, shell, util from wizard.app import php @@ -24,41 +25,35 @@ seed = util.dictmap(make_filename_regex, { }) 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("mysql", "admin", "email", "title") + 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, out=None): - page = deployment.fetch("/index.php?title=Main_Page") - if type(out) is list: - out.append(page) - return page.find("