mediawiki-extensions-WikiEd.../modules
2019-05-19 18:21:54 +00: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 Remove mentions of schema.* ResourceLoader modules 2019-05-14 21:19:34 -04: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