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);