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