2012-12-07 - production
15:22 <reedy> synchronized php-1.21wmf5/extensions/WikimediaMaintenance/ [production]