user.js

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

commit 53d37bbafac0469434154025401b850ef47b27df
parent 85fbbde60df384c8d02cabf7d578fc3743327e67
Author: earthlng <earthlng@users.noreply.github.com>
Date:   Sat,  4 Mar 2017 14:35:13 +0100

adding (FF52+) indicator
Diffstat:
Muser.js | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user.js b/user.js @@ -1274,7 +1274,7 @@ user_pref("dom.storageManager.enabled", false); * https://bugzilla.mozilla.org/show_bug.cgi?id=1213990 ***/ user_pref("extensions.webextensions.keepStorageOnUninstall", false); user_pref("extensions.webextensions.keepUuidOnUninstall", false); -/* 2708: prevent HTTP sites from setting cookies with the "secure" directive (default: true) +/* 2708: prevent HTTP sites from setting cookies with the "secure" directive (default: true) (FF52+) * https://developer.mozilla.org/en-US/Firefox/Releases/52#HTTP ***/ user_pref("network.cookie.leave-secure-alone", true);