From 31d3aec89388010498e531e38a87ff19e69ef4ca Mon Sep 17 00:00:00 2001 From: Thorin-Oakenpants Date: Mon, 22 May 2017 08:33:25 +1200 Subject: [PATCH] Update user.js --- user.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/user.js b/user.js index 4f08594..b7328ca 100644 --- a/user.js +++ b/user.js @@ -1564,7 +1564,7 @@ user_pref("browser.urlbar.decodeURLsOnCopy", true); /* END: internal custom pref to test for syntax errors ***/ user_pref("ghacks_user.js.parrot", "No no he's not dead, he's, he's restin'! Remarkable bird, the Norwegian Blue"); -/*** 9997: DEPRECATED / REMOVED +/*** 9999: DEPRECATED / REMOVED Confirmed by resetting as well as via documentation, bugzilla tickets, and DXR searches. [NOTE] Numbers may get re-used ***/ /* 2607: (23+) disable page thumbnails, it was around v23, not 100% sure when