Unified Diff: ext/devtools.js
Issue 29573905:
Issue 4580 - Replace ext.devtools with devtools
Base URL: https://hg.adblockplus.org/adblockplusui/
Patch Set: Fix ESLint errors
Created Oct. 11, 2017, 11:47 p.m.
Use n/p to move between diff chunks;
N/P to move between comments.
« desktop-options.js ('K')
|
« ext/content.js ('k')
|
no next file »
|
no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
| 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"}); |
