| Index: lib/contentFiltering.js |
| =================================================================== |
| --- a/lib/contentFiltering.js |
| +++ b/lib/contentFiltering.js |
| @@ -31,18 +31,16 @@ |
| const info = require("info"); |
| // Chromium's support for tabs.removeCSS is still a work in progress and the |
| // API is likely to be different from Firefox's; for now we just don't use it |
| // at all, even if it's available. |
| // See https://crbug.com/608854 |
| const styleSheetRemovalSupported = info.platform == "gecko"; |
| -const selectorGroupSize = 1024; |
| - |
| let userStyleSheetsSupported = true; |
| let snippetsLibrarySource = ""; |
| let executableCode = new Map(); |
| function addStyleSheet(tabId, frameId, styleSheet) |
| { |
| try |