mediawiki-extensions-WikiEd.../modules
Ed Sanders f9f01cf6b7 build: Update eslint-config-wikimedia 0.10.1
Change-Id: I71b5c0a1b499865b56ef6957427cae7c97609d73
2019-02-06 01:26:47 +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 0.10.1 2019-02-06 01:26:47 +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 build: Update eslint-config-wikimedia 0.10.1 2019-02-06 01:26:47 +00: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