2012-06-21 - production
18:36	<catrope>	synchronized php-1.20wmf5/resources/mediawiki.page/mediawiki.page.watch.ajax.js 'Core patches for VisualEditor deploy'	[production]