Nathan Larson <[email protected]> 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 _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
