user.js

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

commit 04b797f1aa2271ae561cffddb963912b0b61f96e
parent e60abd6c44fc6395867304ee8ee48029720b5e84
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Thu, 13 Dec 2018 11:14:44 +0000

0209: remove trailing space

@Just-me-ghacks :kiss:
Diffstat:
Muser.js | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user.js b/user.js @@ -159,7 +159,7 @@ user_pref("intl.accept_languages", "en-US, en"); /* 0208: enforce US English locale regardless of the system locale * [1] https://bugzilla.mozilla.org/867501 ***/ user_pref("javascript.use_us_english_locale", true); // [HIDDEN PREF] -/* 0209: use APP locale over OS locale in regional preferences [FF56+] +/* 0209: use APP locale over OS locale in regional preferences [FF56+] * [1] https://bugzilla.mozilla.org/buglist.cgi?bug_id=1379420,1364789 ***/ user_pref("intl.regional_prefs.use_os_locales", false); /* 0210: use Mozilla geolocation service instead of Google when geolocation is enabled