.. |
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.dialogs.js
|
Remove obsolete aliases from closures
|
2018-11-12 22:28:40 +00:00 |
ext.wikiEditor.js
|
Log editor switches to visualeditorfeatureuse
|
2019-07-03 23:36:23 -05: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: Add option to search whole words"
|
2019-05-19 18:21:54 +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
|
Migrate away from deprecated specialCharacters API
|
2019-02-08 17:20:29 -08:00 |
jquery.wikiEditor.toolbar.js
|
Add arrow-up as indicator for the pinned menu
|
2019-06-18 18:09:25 +02:00 |
jquery.wikiEditor.toolbar.less
|
Add arrow-up as indicator for the pinned menu
|
2019-06-18 18:09:25 +02:00 |