2015-02-03 - production
22:13	<reedy>	Synchronized php-1.25wmf15/extensions/WikimediaMaintenance: tmp script (duration: 00m 07s)	[production]