2013-05-15 - production
22:29 <krinkle> synchronized php-1.22wmf4/resources/mediawiki/mediawiki.js 'touched' [production]