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