mediawiki-extensions-WikiEd.../modules
Bartosz Dziewoński 036b7c28a3 Use jQuery.textSelection API for compat with CodeMirror extension
We were already using it for almost all interactions with the editing
area, except for this code which restores the selection after closing
a dialog.

Bug: T254612
Change-Id: I26d22d9c5d64fe8c861405e65cd4464c349aeac9
2020-06-08 18:45:14 +00:00
..
images Replace arrow variants with CSS transformations 2020-03-26 16:20:36 -07:00
templates Search: Add option to search whole words 2019-05-15 22:03:54 +02:00
ext.wikiEditor.js Implement firstChange logging 2019-09-10 09:38:49 -05: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 Localize numbers before passing to mw.msg 2020-03-27 14:04:27 +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 Use document.body instead of 'body' as jQuery selector 2019-12-16 11:36:27 +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 Use jQuery.textSelection API for compat with CodeMirror extension 2020-06-08 18:45:14 +00:00
jquery.wikiEditor.less Remove background colour on WikiEditor wrapper 2018-04-02 22:09:58 +01:00
jquery.wikiEditor.toolbar-apex.less Align toolbar styling with Apex 2020-02-04 17:16:37 -08:00
jquery.wikiEditor.toolbar-wikimedia.less Move 32px dropdown height to -wikimedia.less 2020-05-03 21:17:03 +01:00
jquery.wikiEditor.toolbar.config.js Avoid href="#" on <a> elements 2019-11-06 18:13:14 +01:00
jquery.wikiEditor.toolbar.js Create a toolbarReady hook for attaching toolbar tools 2020-04-21 15:28:40 +01:00
jquery.wikiEditor.toolbar.less Move 32px dropdown height to -wikimedia.less 2020-05-03 21:17:03 +01:00