2013-05-07 - production
01:28 <reedy> synchronized php-1.22wmf3/extensions/WikimediaMaintenance [production]