| Index: chrome/content/ui/utils.js |
| =================================================================== |
| --- a/chrome/content/ui/utils.js |
| +++ b/chrome/content/ui/utils.js |
| @@ -31,17 +31,17 @@ |
| 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, CSSPropertyFilter} = require("filterClasses"); |
| + ElemHideException, ElemHideEmulationFilter} = 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"); |