Index: include.preload.js
diff --git a/include.preload.js b/include.preload.js
index 479ef23dde078c5b6c14bf1cf9002a737555d272..949d039663f9130843b4d8d0a3ddfcb434522066 100644
--- a/include.preload.js
+++ b/include.preload.js
@@ -400,7 +400,16 @@ function init(document)
   var style = null;
   var observer = null;
   var tracer = null;
-  var propertyFilters = new CSSPropertyFilters(window, addElemHideSelectors);
+
+  function getPropertyFilters(callback)
+  {
+    ext.backgroundPage.sendMessage({
+      type: "filters.get",
+      what: "cssproperties"
+    }, callback);
+  }
+  var propertyFilters = new CSSPropertyFilters(window, getPropertyFilters,
+                                               addElemHideSelectors);
 
   // Use Shadow DOM if available to don't mess with web pages that rely on
   // the order of their own <style> tags (#309).