Update user.js

This commit is contained in:
earthlng 2018-03-13 17:04:10 +01:00 committed by GitHub
parent cdf8d7d3e8
commit 450838ab59
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1805,7 +1805,7 @@ user_pref("dom.workers.sharedWorkers.enabled", false);
user_pref("browser.sessionstore.privacy_level_deferred", 2);
// ***/
/* FF46
// 0333a: disable health report
// 0333: disable health report
// [-] https://bugzilla.mozilla.org/show_bug.cgi?id=1234526
user_pref("datareporting.healthreport.service.enabled", false); // (hidden pref)
user_pref("datareporting.healthreport.documentServerURI", ""); // (hidden pref)