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