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

Merge "Adding pretty quotation marks for Hebrew."

Browse source
This commit is contained in:
Catrope 2012-04-17 21:11:31 +00:00 committed by Gerrit Code Review
parent 77603a091c f963e0f704
commit 99a8b25d3b
1 changed files with 12 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -771,6 +771,18 @@ getDefaultConfig: function() {
// Punctuation
"\u05f3", "\u05f4", "\u05be", "\u2013",
{
'label': "\u201e\u201d",
'action': {
'type': 'encapsulate', 'options': { 'pre': "\u201e", 'post': "\u201d" }
}
},
{
'label': "\u201a\u2019",
'action': {
'type': 'encapsulate', 'options': { 'pre': "\u201a", 'post': "\u2019" }
}
},
// Vowels
[ "\u05b0\u25cc", "\u05b0" ], [ "\u05b1\u25cc", "\u05b1" ], [ "\u05b2\u25cc", "\u05b2" ],