Re: [Wikisource-l] How to get values of mediawiki php configuration variables