mediawiki-extensions-WikiEd.../modules
Ed Sanders c13f6b77ce Update stylelint-config-wikimedia to 0.5.0
Change-Id: I46d65752974a71cc07c9ce622b6cd8c7389f354d
2018-12-04 17:33:05 -05: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 Remove obsolete aliases from closures 2018-11-12 22:28:40 +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 Merge "Search & Replace: Fix using replace as first action" 2018-11-30 23:35: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 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 Update eslint-config-wikimedia to 0.9.0 2018-11-27 17:36:31 +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 Animations: Get rid of jquery animations 2018-12-03 12:27:40 -08:00
jquery.wikiEditor.toolbar.less Update stylelint-config-wikimedia to 0.5.0 2018-12-04 17:33:05 -05:00