2012-12-07 - production
15:39	<reedy>	synchronized php-1.21wmf5/extensions/WikimediaMaintenance	[production]