Unified Diff: ext/devtools.js
Issue 29452181:
Noissue - Merge current tip to Edge bookmark (Closed)
Patch Set:
Created May 30, 2017, 3:49 p.m.
Use n/p to move between diff chunks;
N/P to move between comments.
« no previous file with comments
|
« ext/content.js ('k')
|
ext/popup.js » ('j')
|
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 |
| =================================================================== |
| rename from chrome/ext/devtools.js |
| rename to ext/devtools.js |
| --- a/chrome/ext/devtools.js |
| +++ b/ext/devtools.js |
| @@ -1,6 +1,6 @@ |
| /* |
| * This file is part of Adblock Plus <https://adblockplus.org/>, |
| - * Copyright (C) 2006-2016 Eyeo GmbH |
| + * 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 |
| @@ -17,10 +17,11 @@ |
| "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; |
| -} |
| +}()); |
« no previous file with comments
|
« ext/content.js ('k')
|
ext/popup.js » ('j')
|
no next file with comments »
