mediawiki-extensions-WikiEd.../modules
2021-10-13 18:59:15 +00:00
..
images/toolbar Switch to OOUI TitleInputWidget for the link-inserter 2021-10-08 12:43:55 +00:00
insertlink Change insert-link radio buttons to OOUI 2021-10-12 13:01:26 +08:00
templates Change insert-link radio buttons to OOUI 2021-10-12 13:01:26 +08:00
ext.wikiEditor.js Move var declarations inline 2021-06-15 15:45:13 +01:00
ext.wikiEditor.toolbar.styles.less Update stylelint-config-wikimedia 2021-06-15 15:14:04 +01:00
jquery.wikiEditor.dialogs.config.js Change insert-link radio buttons to OOUI 2021-10-12 13:01:26 +08:00
jquery.wikiEditor.dialogs.config.less Remove out-of-date CSS 2021-10-13 11:03:32 +08:00
jquery.wikiEditor.dialogs.js Remove 'resize' logic from jQuery UI dialogs 2021-10-12 11:46:21 +02: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 Move var declarations inline 2021-06-15 15:45:13 +01: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 Update stylelint-config-wikimedia 2021-06-15 15:14:04 +01:00
jquery.wikiEditor.toolbar.config.js Add runes to special characters 2021-08-17 18:19:32 +02:00
jquery.wikiEditor.toolbar.js Allow a free-text string 'title' field when adding characters 2021-10-04 15:48:55 +01:00
jquery.wikiEditor.toolbar.less Update stylelint-config-wikimedia 2021-06-15 15:14:04 +01:00