mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-12-04 20:18:57 +00:00
004b4c96f3
Use integer value going forward as it will be easier to manage. Bug: T346954 Change-Id: I041a0cb21e872700ceeeddd3a39922e456aa7bb8
11 lines
228 B
JSON
11 lines
228 B
JSON
{
|
|
"vector-feature-custom-font-size": {
|
|
"options": [ "0", "1", "2", "3" ],
|
|
"preferenceKey": "vector-font-size"
|
|
},
|
|
"vector-feature-limited-width": {
|
|
"options": [ "0", "1" ],
|
|
"preferenceKey": "vector-limited-width"
|
|
}
|
|
}
|