Bug 819131 work-around, use user data instead of weak maps

lib/requestNotifier.js

Index: lib/requestNotifier.js
===================================================================
--- a/lib/requestNotifier.js
+++ b/lib/requestNotifier.js
@@ -24,19 +24,19 @@ Cu.import("resource://gre/modules/Servic
 let {Utils} = require("utils");
 let {BlockingFilter, WhitelistFilter, ElemHideBase, ElemHideFilter, ElemHideException} = require("filterClasses");
 
 let nodeData = new WeakMap();
 let windowStats = new WeakMap();
 let windowSelection = new WeakMap();
 
 let setEntry, hasEntry, getEntry;
-if (Services.vc.compare(Utils.platformVersion, "13.0") >= 0)
+if (false)
 {
-  // Bug 673468 is fixed, we can use weak maps
+  // Bug 673468 and bug 819131 are fixed, we can use weak maps

[Felix Dahlke, 2013/01/23 14:15:28]

Shouldn't this be: "Bug 673468 is fixed, but 819131 is not, so we cannot use
weak maps"?

   setEntry = function(map, key, value) map.set(key, value);
   hasEntry = function(map, key) map.has(key);
   getEntry = function(map, key) map.get(key);
 }
 else
 {
   // Fall back to user data
   let dataSeed = Math.random();