Re: [MediaWiki-l] Editing extension configuration from the wiki