user.js

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

commit c980bda695df4232c769535fbe19327bf5ae86d8
parent feaa1c3e99f658f28dc59d6aa92ed1cfeefbe57d
Author: earthlng <earthlng@users.noreply.github.com>
Date:   Wed, 16 Dec 2020 14:43:46 +0000

Update troubleshooter.js

oops
Diffstat:
Mscratchpad-scripts/troubleshooter.js | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scratchpad-scripts/troubleshooter.js b/scratchpad-scripts/troubleshooter.js @@ -87,7 +87,7 @@ /* unlikely to cause problems */ 'dom.popup_maximum', - 'geo.provider.network.url' + 'geo.provider.network.url', 'layout.css.visited_links_enabled', 'mathml.disabled', 'network.auth.subresource-http-auth-allow',