Index: chrome/ext/devtools.js |
=================================================================== |
deleted file mode 100644 |
--- a/chrome/ext/devtools.js |
+++ /dev/null |
@@ -1,27 +0,0 @@ |
-/* |
- * This file is part of Adblock Plus <https://adblockplus.org/>, |
- * Copyright (C) 2006-2017 eyeo GmbH |
- * |
- * Adblock Plus is free software: you can redistribute it and/or modify |
- * it under the terms of the GNU General Public License version 3 as |
- * published by the Free Software Foundation. |
- * |
- * Adblock Plus is distributed in the hope that it will be useful, |
- * but WITHOUT ANY WARRANTY; without even the implied warranty of |
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
- * GNU General Public License for more details. |
- * |
- * You should have received a copy of the GNU General Public License |
- * along with Adblock Plus. If not, see <http://www.gnu.org/licenses/>. |
- */ |
- |
-"use strict"; |
- |
-(function() |
-{ |
- let inspectedTabId = chrome.devtools.inspectedWindow.tabId; |
- let port = chrome.runtime.connect({name: "devtools-" + inspectedTabId}); |
- |
- ext.onMessage = port.onMessage; |
- ext.devtools = chrome.devtools; |
-}()); |