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