| 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"); |