mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-11-17 05:10:50 +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
74 lines
1.4 KiB
JSON
74 lines
1.4 KiB
JSON
{
|
|
"dateFormat": "H:i, j F Y",
|
|
"digits": [
|
|
"0",
|
|
"1",
|
|
"2",
|
|
"3",
|
|
"4",
|
|
"5",
|
|
"6",
|
|
"7",
|
|
"8",
|
|
"9"
|
|
],
|
|
"localTimezone": "UTC",
|
|
"specialContributionsName": "Contributions",
|
|
"timezones": {
|
|
"UTC": "UTC"
|
|
},
|
|
"contLangMessages": {
|
|
"sunday": "Sunday",
|
|
"monday": "Monday",
|
|
"tuesday": "Tuesday",
|
|
"wednesday": "Wednesday",
|
|
"thursday": "Thursday",
|
|
"friday": "Friday",
|
|
"saturday": "Saturday",
|
|
"sun": "Sun",
|
|
"mon": "Mon",
|
|
"tue": "Tue",
|
|
"wed": "Wed",
|
|
"thu": "Thu",
|
|
"fri": "Fri",
|
|
"sat": "Sat",
|
|
"january": "January",
|
|
"february": "February",
|
|
"march": "March",
|
|
"april": "April",
|
|
"may_long": "May",
|
|
"june": "June",
|
|
"july": "July",
|
|
"august": "August",
|
|
"september": "September",
|
|
"october": "October",
|
|
"november": "November",
|
|
"december": "December",
|
|
"january-gen": "January",
|
|
"february-gen": "February",
|
|
"march-gen": "March",
|
|
"april-gen": "April",
|
|
"may-gen": "May",
|
|
"june-gen": "June",
|
|
"july-gen": "July",
|
|
"august-gen": "August",
|
|
"september-gen": "September",
|
|
"october-gen": "October",
|
|
"november-gen": "November",
|
|
"december-gen": "December",
|
|
"jan": "Jan",
|
|
"feb": "Feb",
|
|
"mar": "Mar",
|
|
"apr": "Apr",
|
|
"may": "May",
|
|
"jun": "Jun",
|
|
"jul": "Jul",
|
|
"aug": "Aug",
|
|
"sep": "Sep",
|
|
"oct": "Oct",
|
|
"nov": "Nov",
|
|
"dec": "Dec"
|
|
},
|
|
"signatureScanLimit": 100
|
|
}
|