2012-11-06 - production
18:18	<logmsgbot_>	reedy synchronized php-1.21wmf3/extensions/WikimediaMaintenance/	[production]