2013-05-20 - production
18:43	<krinkle>	synchronized php-1.22wmf4/resources/mediawiki/mediawiki.js 'touched'	[production]