user.js

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

commit 59930d46970f0d371c2802afa663a01fe1a2deb4
parent 579aa3aa9c8296293367670049374256cf4165f4
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Mon, 29 Apr 2019 05:29:53 +0000

0402, remove redundant pref, see #709
Diffstat:
Muser.js | 1-
1 file changed, 0 insertions(+), 1 deletion(-)

diff --git a/user.js b/user.js @@ -299,7 +299,6 @@ user_pref("extensions.blocklist.url", "https://blocklists.settings.services.mozi * This is a real-time check with Google services. * [SETUP-SECURITY] If you do not understand this, or if you want this protection, then override it ***/ user_pref("browser.safebrowsing.downloads.remote.enabled", false); -user_pref("browser.safebrowsing.downloads.remote.url", ""); /* 0403: disable reporting URLs ***/ user_pref("browser.safebrowsing.provider.google.reportURL", ""); user_pref("browser.safebrowsing.reportPhishURL", "");