Nathan Larson <nathanlarson3141(a)gmail.com> wrote:
[...]
Are you saying you want to display the settings for
your own wiki or
someone else's wiki (whose backend you can't access)? If it's your own
wiki, you can use
ViewFiles<https://www.mediawiki.org/wiki/Extension:ViewFiles>to let
people access a special page that will display a configuration file.
No, I meant the repository where the MediaWiki configuration
of the Wikimedia cluster resides
(cf.
http://git.wikimedia.org/summary/?r=operations/mediawiki-config.git),
and I want to display the settings of one of many configured
wikis.
My use case at hand is the migration of
wiki.toolserver.org
to WMF. The former uses a traditional LocalSettings.php,
and I want to test whether a patch to
operations/mediawiki-config results in an equivalent config-
uration.
Tim