mediawiki-extensions-WikiEd.../modules
Ed Sanders 583ad04b87 build: Update eslint-config-wikimedia to 0.10.0
Change-Id: I5fea8a1d6c91ea69c3490101ea38ce4626bd7e11
2019-01-08 23:32:56 +00:00
..
images Convert remaining tools to OOUI 2018-04-11 15:50:23 +01:00
templates WikiEditor: Move HTML for dialogs to separate files 2015-08-14 13:07:27 +00:00
ext.wikiEditor.dialogs.js Remove obsolete aliases from closures 2018-11-12 22:28:40 +00:00
ext.wikiEditor.js build: Update eslint-config-wikimedia to 0.10.0 2019-01-08 23:32:56 +00: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 build: Update eslint-config-wikimedia to 0.10.0 2019-01-08 23:32:56 +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 to 0.10.0 2019-01-08 23:32:56 +00:00
jquery.wikiEditor.less Remove background colour on WikiEditor wrapper 2018-04-02 22:09:58 +01:00
jquery.wikiEditor.toolbar.config.js Use mw.Title.wantSignaturesNamespace 2018-11-27 09:46:52 -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