| OLD | NEW | 
|---|
|  | (Empty) | 
| 1 "use strict"; |  | 
| 2 |  | 
| 3 const {require, Services} = ext.backgroundPage.getWindow(); |  | 
| 4 |  | 
| 5 const {Synchronizer} = require("synchronizer"); |  | 
| 6 const {Utils} = require("utils"); |  | 
| 7 const {Prefs} = require("prefs"); |  | 
| 8 const {FilterStorage} = require("filterStorage"); |  | 
| 9 const {FilterNotifier} = require("filterNotifier"); |  | 
| 10 |  | 
| 11 const {Subscription, DownloadableSubscription} = require("subscriptionClasses"); |  | 
| 12 const {Filter, BlockingFilter} = require("filterClasses"); |  | 
| 13 const {defaultMatcher} = require("matcher"); |  | 
| 14 |  | 
| 15 /** |  | 
| 16  * Shortcut for document.getElementById(id) |  | 
| 17  */ |  | 
| 18 function E(id) |  | 
| 19 { |  | 
| 20   return document.getElementById(id); |  | 
| 21 } |  | 
| OLD | NEW | 
|---|