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