mediawiki-extension-PluggableAuth