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 |