From c805dd8b3b7b0386beddcbbac5314060871827e2 Mon Sep 17 00:00:00 2001 From: Thorin-Oakenpants Date: Wed, 5 Sep 2018 09:30:42 +0000 Subject: [PATCH] 62 deprecated/removed prefs --- user.js | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/user.js b/user.js index 753fa3c..5192abd 100644 --- a/user.js +++ b/user.js @@ -956,7 +956,6 @@ user_pref("plugin.sessionPermissionNow.intervalInMinutes", 0); * [NOTE] You can still over-ride individual sites e.g. youtube via site permissions * [1] https://www.ghacks.net/2013/07/09/how-to-make-sure-that-a-firefox-plugin-never-activates-again/ ***/ user_pref("plugin.state.flash", 0); -user_pref("plugin.state.java", 0); /* 1805: disable scanning for plugins [WINDOWS] * [1] http://kb.mozillazine.org/Plugin_scanning * plid.all = whether to scan the directories specified in the Windows registry for PLIDs. @@ -2108,6 +2107,11 @@ user_pref("network.jar.block-remote-files", true); // [-] https://bugzilla.mozilla.org/1427726 user_pref("network.jar.open-unsafe-types", false); // * * * / +// FF62 +// 1803: disable Java plugin + // [-] (part5) https://bugzilla.mozilla.org/1461243 +user_pref("plugin.state.java", 0); +// * * * / // ***/ /* END: internal custom pref to test for syntax errors ***/