Index: ext/devtools.js |
=================================================================== |
--- a/ext/devtools.js |
+++ b/ext/devtools.js |
@@ -15,19 +15,9 @@ |
* along with Adblock Plus. If not, see <http://www.gnu.org/licenses/>. |
*/ |
"use strict"; |
if (typeof ext == "undefined") |
window.ext = {}; |
-window.ext.devtools = { |
- panels: { |
- openResource() {} |
- }, |
- |
- inspectedWindow: { |
- reload() {} |
- } |
-}; |
- |
-window.ext.backgroundPage._sendRawMessage({type: "devtools"}); |
+chrome.runtime.sendMessage({type: "devtools.ready"}); |
Manish Jethani
2017/10/11 23:37:33
Using standard API
|