mediawiki-extensions-WikiEd.../modules
Ed Sanders 90c0b245fc Move 32px dropdown height to -wikimedia.less
Bug: T251682
Change-Id: I86afcb66b8d5d8fdff4f95944c863b10a1949518
2020-05-03 21:17:03 +01:00
..
images Replace arrow variants with CSS transformations 2020-03-26 16:20:36 -07:00
templates Search: Add option to search whole words 2019-05-15 22:03:54 +02:00
ext.wikiEditor.js Implement firstChange logging 2019-09-10 09:38:49 -05: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 Localize numbers before passing to mw.msg 2020-03-27 14:04:27 +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 Use document.body instead of 'body' as jQuery selector 2019-12-16 11:36:27 +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 jquery.wikiEditor: change autoIcon() to no longer append version string 2020-04-07 20:55:01 +01:00
jquery.wikiEditor.less Remove background colour on WikiEditor wrapper 2018-04-02 22:09:58 +01:00
jquery.wikiEditor.toolbar-apex.less Align toolbar styling with Apex 2020-02-04 17:16:37 -08:00
jquery.wikiEditor.toolbar-wikimedia.less Move 32px dropdown height to -wikimedia.less 2020-05-03 21:17:03 +01:00
jquery.wikiEditor.toolbar.config.js Avoid href="#" on <a> elements 2019-11-06 18:13:14 +01:00
jquery.wikiEditor.toolbar.js Create a toolbarReady hook for attaching toolbar tools 2020-04-21 15:28:40 +01:00
jquery.wikiEditor.toolbar.less Move 32px dropdown height to -wikimedia.less 2020-05-03 21:17:03 +01:00