Index: ext/devtools.js |
=================================================================== |
--- a/ext/devtools.js |
+++ b/ext/devtools.js |
@@ -14,14 +14,14 @@ |
* 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}); |
+ let inspectedTabId = browser.devtools.inspectedWindow.tabId; |
+ let port = browser.runtime.connect({name: "devtools-" + inspectedTabId}); |
ext.onMessage = port.onMessage; |
- ext.devtools = chrome.devtools; |
+ ext.devtools = browser.devtools; |
}()); |