diff options
author | Daniel Kesselberg <mail@danielkesselberg.de> | 2020-05-17 00:21:22 +0300 |
---|---|---|
committer | backportbot[bot] <backportbot[bot]@users.noreply.github.com> | 2020-05-18 12:54:02 +0300 |
commit | 1eead35e8d57b985ee262e7818e1031a07e6975e (patch) | |
tree | 126d9b644953431767ddcf49c8b565953c9a42d0 | |
parent | 9033d57e39eb340636c1afa6d847eba3a12f15f7 (diff) |
Remove entries from locales.json incompatible with punic
As reported at https://github.com/nextcloud/server/issues/20999 the list contains en_US_POSIX as locale but punic is unable to parse such a locale. If you select that locale everyone is confused.
Signed-off-by: Daniel Kesselberg <mail@danielkesselberg.de>
-rw-r--r-- | resources/locales.json | 8 | ||||
-rwxr-xr-x | resources/update-locales.php | 10 |
2 files changed, 13 insertions, 5 deletions
diff --git a/resources/locales.json b/resources/locales.json index a65cf530514..7cf9fa9b890 100644 --- a/resources/locales.json +++ b/resources/locales.json @@ -912,10 +912,6 @@ "name": "English (United States)" }, { - "code": "en_US_POSIX", - "name": "English (United States, Computer)" - }, - { "code": "en_VC", "name": "English (St. Vincent & Grenadines)" }, @@ -1400,6 +1396,10 @@ "name": "Irish" }, { + "code": "ga_GB", + "name": "Irish (United Kingdom)" + }, + { "code": "ga_IE", "name": "Irish (Ireland)" }, diff --git a/resources/update-locales.php b/resources/update-locales.php index d5addd0a9ae..50d848c76a6 100755 --- a/resources/update-locales.php +++ b/resources/update-locales.php @@ -29,13 +29,21 @@ if (!extension_loaded('intl')) { exit(1); } -$locales = array_map(function (string $localeCode) { +require '../3rdparty/autoload.php'; + +$locales = array_map(static function (string $localeCode) { return [ 'code' => $localeCode, 'name' => Locale::getDisplayName($localeCode, 'en') ]; }, ResourceBundle::getLocales('')); +$locales = array_filter($locales, static function (array $locale) { + return is_array(Punic\Data::explodeLocale($locale['code'])); +}); + +$locales = array_values($locales); + if (file_put_contents(__DIR__ . '/locales.json', json_encode($locales, JSON_PRETTY_PRINT)) === false) { echo 'Failed to update locales.json'; exit(1); |