user.js

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

commit 74c8f294d6cf9bd32332d01b5b107f97c517ca68
parent a0508eccf6e8fa3e4fbc6095a7ddd07a80f78cb5
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Tue,  5 Feb 2019 04:51:07 +0000

0306: extension metadata, closes #615
Diffstat:
Muser.js | 4++--
1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/user.js b/user.js @@ -194,8 +194,8 @@ user_pref("app.update.staging.enabled", false); * This is the update available, downloaded, error and success information ***/ user_pref("app.update.silent", false); /* 0306: disable extension metadata - * used when installing or updating an extension: if false, all it does is hide the - * expanded text description, if it exists, when you "show more details about an addon" ***/ + * used when installing/updating an extension, and in daily background update checks: if false, it + * hides the expanded text description (if it exists) when you "show more details about an addon" ***/ // user_pref("extensions.getAddons.cache.enabled", false); /* 0307: disable auto updating of personas (themes) ***/ user_pref("lightweightThemes.update.enabled", false);