user.js

commit e080becba5fdd9c32bc3238fae41233646a63d66
parent 76bc2bce252fc45e95aa0a58c0b5c8b8d0efa227
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Sun, 12 Nov 2017 00:14:36 +1300

2610: permissions.manager.defaultsUrl #259

FYI: https://bugzilla.mozilla.org/show_bug.cgi?id=506446 - FF35
Diffstat:
M
user.js
 | 
3
+++

1 file changed, 3 insertions(+), 0 deletions(-)
diff --git 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);