wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-15 12:00:05 +00:00
Code Issues Packages Projects Releases Wiki Activity

Additonal pair of quotes in the enhanced edit toolbar

Browse source 
Some langages (Croatian, Hungarian, Polish, Romanian, Serbian)
use DOUBLE LOW-9 QUOTATION MARK (U+201E) and 
RIGHT DOUBLE QUOTATION MARK (U+201D) in marking up
quotes. For more details, see:

http://en.wikipedia.org/wiki/Quotation_mark,_non-English_usage
This commit is contained in:
Marcin Cieślak 2011-04-04 23:06:47 +00:00
parent 83732a7dbf
commit e8625d2726
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
modules/jquery.wikiEditor.toolbar.config.js
View file

@ -570,6 +570,12 @@ getDefaultConfig: function() {
'type': 'encapsulate', 'options': { 'pre': "\u201e", 'post': "\u201c" }
}
},
{
'label': "\u201e\u201d",
'action': {
'type': 'encapsulate', 'options': { 'pre': "\u201e", 'post': "\u201d" }
}
},
{
'label': "\u00ab\u00bb",
'action': {