user.js

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

commit 2dd2f5febe92d995172c3c3454f9b30c092f5421
parent 2de13258ff968b72708cdbc08dddc0fb02ff8ae5
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Thu,  1 Mar 2018 12:48:31 +0000

0409: it is now 0201: see previous commit

whoops .. missed removing this part: overworked, underpaid, poor pants needs a beer
Diffstat:
Muser.js | 3---
1 file changed, 0 insertions(+), 3 deletions(-)

diff --git a/user.js b/user.js @@ -1651,9 +1651,6 @@ user_pref("dom.netinfo.enabled", false); // [2] https://developer.mozilla.org/docs/Web/API/SpeechSynthesis // [3] https://wiki.mozilla.org/HTML5_Speech_API user_pref("media.webspeech.synth.enabled", false); -// 4609: [0201] disable Location-Aware Browsing - // [1] https://www.mozilla.org/firefox/geolocation/ -user_pref("geo.enabled", false); // * * * / // FF57+ // 4610: [2506] disable video statistics - JS performance fingerprinting (FF25+)