.. |
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
|
Use document.body instead of 'body' as jQuery selector
|
2019-12-16 11:36:27 +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
|
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
|
Merge "Avoid href="#" on <a> elements"
|
2020-01-25 16:25:07 +00:00 |
jquery.wikiEditor.less
|
Remove background colour on WikiEditor wrapper
|
2018-04-02 22:09:58 +01:00 |
jquery.wikiEditor.toolbar.config.js
|
Avoid href="#" on <a> elements
|
2019-11-06 18:13:14 +01:00 |
jquery.wikiEditor.toolbar.js
|
Avoid href="#" on <a> elements
|
2019-11-06 18:13:14 +01:00 |
jquery.wikiEditor.toolbar.less
|
Add arrow-up as indicator for the pinned menu
|
2019-06-18 18:09:25 +02:00 |