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