2013-11-05 - production
17:15	<ori>	synchronized php-1.23wmf1/extensions/WikimediaEvents/modules/ext.wikimediaEvents.ve.js 'I4085ee9cb: Update VisualEditor performance event names'	[production]