wikimedia/mediawiki-extensions-VisualEditor

/*!
 * VisualEditor Wikitext sequence registry
 *
 * This should probably never have anything in it.
 *
 * @copyright See AUTHORS.txt
 */

/* Initialization */

ve.ui.wikitextSequenceRegistry = new ve.ui.SequenceRegistry();