wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-12-11 00:01:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-WikiEd.../modules
History
jenkins-bot e94ad450bd Merge "Avoid href="#" on <a> elements"
2020-01-25 16:25:07 +00:00
..
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
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
jquery.wikiEditor.js Merge "Avoid href="#" on <a> elements" 2020-01-25 16:25:07 +00:00
jquery.wikiEditor.less
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