Re: [Wikitech-l] ExtensionDistributor updates on mediawiki.org