2013-10-15 - production
23:12	<catrope>	synchronized php-1.22wmf21/extensions/VisualEditor/modules/ve-mw/init/targets/ve.init.mw.ViewPageTarget.js 'cherry-pick of https://gerrit.wikimedia.org/r/#/c/89773/'	[production]