Updated mediawiki/extensions
Project: mediawiki/extensions/WikimediaEvents  23d32b67a32dc732e6567b77184e5100a6d7a1f8

Update VisualEditor performance event names

Changed in I835f0752a.

Change-Id: I4085ee9cb545f1da53b98654ddd6ba0613c597b2