2012-05-14 - production
19:13	<reedy>	synchronized php-1.20wmf3/extensions/ 'Push extensions out properly'	[production]