2013-01-10 - production
18:00 <demon> synchronized php-1.21wmf7/extensions/ExtensionDistributor 'New version of ExtensionDistributor' [production]