2013-05-07 - production
01:28	<reedy>	synchronized php-1.22wmf3/extensions/WikimediaMaintenance	[production]