mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-30 00:55:00 +00:00
12 lines
139 B
JSON
12 lines
139 B
JSON
|
{
|
||
|
"highlighter" :
|
||
|
[
|
||
|
{
|
||
|
"match" : "/(\\+|-|\\[|\\]|Y|<|>|,|\\.)/g",
|
||
|
"style" : "ve-ce-mwSynHi-symbol"
|
||
|
}
|
||
|
],
|
||
|
"validator" :
|
||
|
[
|
||
|
]
|
||
|
}
|