Extension:ExtensionInstaller

From mediawiki.org