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