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