2013-11-06 - production
16:54	<reedy>	synchronized php-1.23wmf2/extensions/WikimediaMaintenance/	[production]