[Mediawiki-l] ExtensionDistributor