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