| 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 |