2013-12-05 - production
21:22	<catrope>	synchronized php-1.23wmf5/extensions/VisualEditor/modules/oojs-ui/oojs-ui.js 'touch'	[production]