From d2fa8f0bc300a037b9b8619ca3344a21c27f78c8 Mon Sep 17 00:00:00 2001 From: earthlng Date: Tue, 25 Aug 2020 14:09:53 +0000 Subject: [PATCH] Update user.js --- user.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/user.js b/user.js index 01fae6f..c7f4f0c 100644 --- a/user.js +++ b/user.js @@ -738,7 +738,7 @@ user_pref("security.mixed_content.block_object_subrequest", true); * When "https_only_mode" (all) is true, "https_only_mode_pbm" (Private Browsing Mode) is ignored * [SETTING] to add site exceptions: Page Info>Permissions>Use insecure HTTP (FF80+) * [SETTING] Privacy & Security>HTTPS-Only Mode (FF80+ with browser.preferences.exposeHTTPSOnly = true) - * [1] https://bugzilla.mozilla.org/1613063 */ + * [1] https://bugzilla.mozilla.org/1613063 ***/ // user_pref("dom.security.https_only_mode", true); // [FF76+] // user_pref("dom.security.https_only_mode_pbm", true); // [FF80+] // user_pref("dom.security.https_only_mode.upgrade_local", true); // [FF77+]