David Lynch 7bbbf1a886 Log editor switches to visualeditorfeatureuse ... Also, avoid distorting the logging of abort when VE is switched to from WikiEditor. Log it immediately, rather than waiting until the end of the VE session triggers a page-unload. Bug: T221191 Change-Id: I3ddccd8df973a289f3bcdc4cdc42df1ab23ce6a4		2019-07-03 23:36:23 -05:00
..
images	Round SVG coordinates to whole integer	2019-03-17 11:34:42 +01:00
templates	Search: Add option to search whole words	2019-05-15 22:03:54 +02:00
ext.wikiEditor.dialogs.js	Remove obsolete aliases from closures	2018-11-12 22:28:40 +00:00
ext.wikiEditor.js	Log editor switches to visualeditorfeatureuse	2019-07-03 23:36:23 -05:00
ext.wikiEditor.toolbar.js	Remove obsolete aliases from closures	2018-11-12 22:28:40 +00:00
ext.wikiEditor.toolbar.styles.less	Remove reference to mw-editButtons-pipe-separator, now removed from MW	2018-01-10 14:27:59 -08:00
jquery.wikiEditor.dialogs.config.js	Merge "Search: Add option to search whole words"	2019-05-19 18:21:54 +00:00
jquery.wikiEditor.dialogs.config.less	JS for ie-mac is not supported, so no need for this CSS	2018-11-17 13:09:30 +01:00
jquery.wikiEditor.dialogs.js	Remove browser arrays	2018-11-15 22:59:51 +01:00
jquery.wikiEditor.dialogs.less	Update stylelint-config-wikimedia to 0.5.0	2018-12-04 17:33:05 -05:00
jquery.wikiEditor.html	Remove IE8 hacks	2017-05-22 11:50:04 +02:00
jquery.wikiEditor.js	build: Update eslint-config-wikimedia 0.10.1	2019-02-06 01:26:47 +00:00
jquery.wikiEditor.less	Remove background colour on WikiEditor wrapper	2018-04-02 22:09:58 +01:00
jquery.wikiEditor.toolbar.config.js	Migrate away from deprecated specialCharacters API	2019-02-08 17:20:29 -08:00
jquery.wikiEditor.toolbar.js	build: Update eslint-config-wikimedia to 0.10.0	2019-01-08 23:32:56 +00:00
jquery.wikiEditor.toolbar.less	Update stylelint-config-wikimedia to 0.5.0	2018-12-04 17:33:05 -05:00