user.js

commit 31d3aec89388010498e531e38a87ff19e69ef4ca
parent 1c82abf074d88c79f75b8409857d603a9180744d
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Mon, 22 May 2017 08:33:25 +1200

Update user.js
Diffstat:
M
user.js
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git 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