wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-14 19:31:55 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-WikiEd.../modules
History
Ricordisamoa e4d02b5e9a Fix double escaping 
e75284e528 escapes a few messages too
eagerly but 1fc00749fb only fixes one
of such mistakes.

Without this change, the labels of some toolbar buttons (e.g. Italian
'Redirect', Welsh 'Numbered list') display ''' where apostrophes
should be.

Change-Id: I3265631512c5d22ecc3dafb9d56acecc7d50ad1d
2020-02-05 19:11:01 +01:00
..
images Use caret-style arrow indicator 2020-02-04 16:58:18 -08: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 Fix double escaping 2020-02-05 19:11:01 +01:00
jquery.wikiEditor.toolbar.less Add arrow-up as indicator for the pinned menu 2019-06-18 18:09:25 +02:00