| .. |
|
images
|
Add arrow-up as indicator for the pinned menu
|
2019-06-18 18:09:25 +02: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
|
build: Update linters
|
2019-10-07 16:52:10 +01: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
|
build: Update linters
|
2019-10-07 16:52:10 +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 linters
|
2019-10-07 16:52:10 +01:00 |
|
jquery.wikiEditor.less
|
Remove background colour on WikiEditor wrapper
|
2018-04-02 22:09:58 +01:00 |
|
jquery.wikiEditor.toolbar.config.js
|
Convert ext.wikiEditor module to packageFiles
|
2019-08-05 22:24:56 +00:00 |
|
jquery.wikiEditor.toolbar.js
|
build: Update linters
|
2019-10-07 16:52:10 +01:00 |
|
jquery.wikiEditor.toolbar.less
|
Add arrow-up as indicator for the pinned menu
|
2019-06-18 18:09:25 +02:00 |
