Index: chrome/content/ui/utils.js |
=================================================================== |
--- a/chrome/content/ui/utils.js |
+++ b/chrome/content/ui/utils.js |
@@ -30,17 +30,18 @@ function require(/**String*/ module) |
var result = {}; |
result.wrappedJSObject = result; |
Services.obs.notifyObservers(result, "adblockplus-require", module); |
return result.exports; |
} |
var {Policy} = require("contentPolicy"); |
var {Filter, InvalidFilter, CommentFilter, ActiveFilter, RegExpFilter, |
- BlockingFilter, WhitelistFilter, ElemHideBase, ElemHideFilter, ElemHideException} = require("filterClasses"); |
+ BlockingFilter, WhitelistFilter, ElemHideBase, ElemHideFilter, |
+ ElemHideException, CSSPropertyFilter} = require("filterClasses"); |
var {FilterNotifier} = require("filterNotifier"); |
var {FilterStorage} = require("filterStorage"); |
var {IO} = require("io"); |
var {defaultMatcher, Matcher, CombinedMatcher} = require("matcher"); |
var {Prefs} = require("prefs"); |
var {RequestNotifier} = require("requestNotifier"); |
var {Subscription, SpecialSubscription, RegularSubscription, |
ExternalSubscription, DownloadableSubscription} = require("subscriptionClasses"); |