From e080becba5fdd9c32bc3238fae41233646a63d66 Mon Sep 17 00:00:00 2001 From: Thorin-Oakenpants Date: Sun, 12 Nov 2017 00:14:36 +1300 Subject: [PATCH] 2610: permissions.manager.defaultsUrl #259 FYI: https://bugzilla.mozilla.org/show_bug.cgi?id=506446 - FF35 --- user.js | 3 +++ 1 file changed, 3 insertions(+) diff --git a/user.js b/user.js index 4c1aeac..86aafbe 100644 --- a/user.js +++ b/user.js @@ -1266,6 +1266,9 @@ user_pref("network.jar.open-unsafe-types", false); * [1] https://bugzilla.mozilla.org/show_bug.cgi?id=232227 * [2] https://bugzilla.mozilla.org/show_bug.cgi?id=1330876 ***/ user_pref("ui.use_standins_for_native_colors", true); // (hidden pref) +/* 2610: remove special permissions for certain mozilla domains (FF35+) + * [1] resource://app/defaults/permissions ***/ +user_pref("permissions.manager.defaultsUrl", ""); /* 2611: disable WebIDE to prevent remote debugging and extension downloads * [1] https://trac.torproject.org/projects/tor/ticket/16222 ***/ user_pref("devtools.webide.autoinstallADBHelper", false);