2013-01-03 - production
19:04 <reedy> synchronized php-1.21wmf7/extensions/WikimediaMaintenance/ [production]