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