user.js

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 31e7c72f642425668d8153e12f29332a6b2eb5a2
parent 2f6deda172c9acbe6892e896b3d714c5b7849d72
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Mon, 18 Sep 2017 02:38:09 +1200

0209: add regional pref OS locale
Diffstat:
Muser.js | 3+++
1 file changed, 3 insertions(+), 0 deletions(-)

diff --git a/user.js b/user.js @@ -100,6 +100,9 @@ user_pref("intl.accept_languages", "en-US, en"); /* 0208: enforce US English locale regardless of the system locale * [1] https://bugzilla.mozilla.org/show_bug.cgi?id=867501 ***/ user_pref("javascript.use_us_english_locale", true); // (hidden pref) +/* 0209: use APP locale over OS locale in regional preferences (FF56+) + * [1] https://bugzilla.mozilla.org/show_bug.cgi?id=1379420 [also 1364789] ***/ +user_pref("intl.regional_prefs.use_os_locales", true); /*** 0300: QUIET FOX We choose to not disable auto-CHECKs (0301's) but to disable auto-INSTALLs (0302's).