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