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