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

Merge "Added ZWNJ and ZWJ according to request at bug 30611. Split special characters from digits."

Browse source
This commit is contained in:
Brion VIBBER 2012-03-26 22:50:21 +00:00 committed by Gerrit Code Review
parent 562f1d3fbc aa493220fa
commit 954636d7ca
1 changed files with 6 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -678,7 +678,11 @@ getDefaultConfig: function() {
"\u060c", "\u061b", "\u061f", "\u0640",
// digits
"\u0660", "\u0661", "\u0662", "\u0663", "\u0664", "\u0665", "\u0666", "\u0667",
"\u0668", "\u0669", "\u066A", "\u066B", "\u066C", "\u066D"
"\u0668", "\u0669",
// other special characters
"\u066A", "\u066B", "\u066C", "\u066D",
// ZWNJ and ZWJ
[ "ZWNJ", "\u200C" ], [ "ZWJ", "\u200D" ]
]
},
// Characters for languages other than Arabic.
@ -1098,4 +1102,4 @@ getDefaultConfig: function() {
} };
}
}; } ) ( jQuery );
}; } ) ( jQuery );