user.js

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

commit ddfdf7cb47eec29422e3072cc607ca70d9ae8966
parent 649e49e0fa713df10946eeadee4ea0932bf6380b
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Mon,  2 Oct 2017 06:00:28 +1300

oophs
Diffstat:
Muser.js | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user.js b/user.js @@ -1611,7 +1611,7 @@ user_pref("dom.netinfo.enabled", false); // [3] https://wiki.mozilla.org/HTML5_Speech_API user_pref("media.webspeech.recognition.enable", false); user_pref("media.webspeech.synth.enabled", false); -// 0409: disable location-aware browsing +// 4609: disable location-aware browsing // [NOTE] Use Mozilla's API key if required user_pref("geo.enabled", false); user_pref("geo.wifi.uri", ""); // "https://location.services.mozilla.com/v1/geolocate?key=%MOZILLA_API_KEY%"