Nathan Larson nathanlarson3141@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 ViewFileshttps://www.mediawiki.org/wiki/Extension:ViewFilesto 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