2013-06-06 - production
19:41	<reedy>	synchronized php-1.22wmf6/extensions/WikimediaMaintenance/	[production]