2012-02-15 - production
23:52 <reedy> synchronized php-1.19/resources/mediawiki/mediawiki.js '[[rev:111599|r111599]]' [production]