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