2012-06-01 - production
20:28 <reedy> synchronized php-1.20wmf4/extensions/ExtensionDistributor/ [production]