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