Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  8dfa827a97b5d24d7a76ebf5fd79c335952f921f

ve.EventSequencer: Post-event listening

modules/ve/ve.EventSequencer.js
* Class to sequence pre-event and post-event listening correctly

demos/ve/eventSequencer.html
* Plain HTML example page for testing EventSequencer and event sequences

Change-Id: I4ddb10a30c2f44015136a7978a185d0b13f0690b