mediawiki-extensions-WikiEd.../modules
Timo Tijhof 7e5b71b04e mediawiki.RegExp (deprecated) -> mediawiki.util
Bug: T218339
Change-Id: Idd56fbd34648eeb42434848119b118375562cd14
2019-09-09 17:55:24 +00:00
..
images Add arrow-up as indicator for the pinned menu 2019-06-18 18:09:25 +02:00
templates Search: Add option to search whole words 2019-05-15 22:03:54 +02:00
ext.wikiEditor.js Convert ext.wikiEditor module to packageFiles 2019-08-05 22:24:56 +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 mediawiki.RegExp (deprecated) -> mediawiki.util 2019-09-09 17:55:24 +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 Convert ext.wikiEditor module to packageFiles 2019-08-05 22:24:56 +00: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 Merge "Allow data URLs for toolbar icons" 2019-09-08 11:54:45 +00:00
jquery.wikiEditor.less Remove background colour on WikiEditor wrapper 2018-04-02 22:09:58 +01:00
jquery.wikiEditor.toolbar.config.js Convert ext.wikiEditor module to packageFiles 2019-08-05 22:24:56 +00:00
jquery.wikiEditor.toolbar.js Convert ext.wikiEditor module to packageFiles 2019-08-05 22:24:56 +00:00
jquery.wikiEditor.toolbar.less Add arrow-up as indicator for the pinned menu 2019-06-18 18:09:25 +02:00