mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-09-29 05:16:27 +00:00
2d3fe47ac1
The PHP code incorrectly assumed that the digits are single-byte in UTF-8, which is never the case (except for 0-9). The JS code worked correctly because it uses UTF-16 strings, so the bug would only affect non-BMP digits there. This was noted in a TODO comment, but we overlooked it when reimplementing in PHP. Instead of a string of 10 characters, use an array of 10 single-character strings. Bug: T261706 Change-Id: Ic5421382474c88f003424799c53ff473d99cce92
76 lines
1.5 KiB
JSON
76 lines
1.5 KiB
JSON
{
|
|
"dateFormat": "j M Y H:i",
|
|
"digits": [
|
|
"0",
|
|
"1",
|
|
"2",
|
|
"3",
|
|
"4",
|
|
"5",
|
|
"6",
|
|
"7",
|
|
"8",
|
|
"9"
|
|
],
|
|
"localTimezone": "Europe/Berlin",
|
|
"specialContributionsName": "Bijdragen",
|
|
"timezones": {
|
|
"CEMT": "CEMT",
|
|
"CEST": "CEST",
|
|
"CET": "CET"
|
|
},
|
|
"contLangMessages": {
|
|
"sunday": "zondag",
|
|
"monday": "maandag",
|
|
"tuesday": "dinsdag",
|
|
"wednesday": "woensdag",
|
|
"thursday": "donderdag",
|
|
"friday": "vrijdag",
|
|
"saturday": "zaterdag",
|
|
"sun": "zo",
|
|
"mon": "ma",
|
|
"tue": "di",
|
|
"wed": "wo",
|
|
"thu": "do",
|
|
"fri": "vr",
|
|
"sat": "za",
|
|
"january": "januari",
|
|
"february": "februari",
|
|
"march": "maart",
|
|
"april": "april",
|
|
"may_long": "mei",
|
|
"june": "juni",
|
|
"july": "juli",
|
|
"august": "augustus",
|
|
"september": "september",
|
|
"october": "oktober",
|
|
"november": "november",
|
|
"december": "december",
|
|
"january-gen": "januari",
|
|
"february-gen": "februari",
|
|
"march-gen": "maart",
|
|
"april-gen": "april",
|
|
"may-gen": "mei",
|
|
"june-gen": "juni",
|
|
"july-gen": "juli",
|
|
"august-gen": "augustus",
|
|
"september-gen": "september",
|
|
"october-gen": "oktober",
|
|
"november-gen": "november",
|
|
"december-gen": "december",
|
|
"jan": "jan",
|
|
"feb": "feb",
|
|
"mar": "mrt",
|
|
"apr": "apr",
|
|
"may": "mei",
|
|
"jun": "jun",
|
|
"jul": "jul",
|
|
"aug": "aug",
|
|
"sep": "sep",
|
|
"oct": "okt",
|
|
"nov": "nov",
|
|
"dec": "dec"
|
|
},
|
|
"signatureScanLimit": 100
|
|
}
|