2012-06-27 - production
15:08 <reedy> synchronized php-1.20wmf6/extensions/ExtensionDistributor/ [production]