2013-01-03 - production
19:04	<reedy>	synchronized php-1.21wmf7/extensions/WikimediaMaintenance/	[production]