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