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