Index: background.js |
diff --git a/background.js b/background.js |
index fbfb7166751946e15b0dee1268fedc9fbf3551da..4d37cdceb5fa5dd62e9ed8e1edfd02daa21cb7ff 100644 |
--- a/background.js |
+++ b/background.js |
@@ -28,33 +28,6 @@ var extractHostFromFrame = require("url").extractHostFromFrame; |
var port = require("messaging").port; |
var devtools = require("devtools"); |
-// This is a hack to speedup loading of the options page on Safari. |
-// Once we replaced the background page proxy with message passing |
-// this global function should removed. |
-function getUserFilters() |
-{ |
- var filters = []; |
- var exceptions = []; |
- |
- for (var i = 0; i < FilterStorage.subscriptions.length; i++) |
- { |
- var subscription = FilterStorage.subscriptions[i]; |
- if (!(subscription instanceof SpecialSubscription)) |
- continue; |
- |
- for (var j = 0; j < subscription.filters.length; j++) |
- { |
- var filter = subscription.filters[j]; |
- if (filter instanceof WhitelistFilter && /^@@\|\|([^\/:]+)\^\$document$/.test(filter.text)) |
- exceptions.push(RegExp.$1); |
- else |
- filters.push(filter.text); |
- } |
- } |
- |
- return {filters: filters, exceptions: exceptions}; |
-} |
- |
port.on("get-selectors", function(msg, sender) |
{ |
var selectors; |