2012-06-27 - production
15:08 <Reedy> ExtensionDistributor now works from git on mediawiki.org [production]