Index: chrome/ext/devtools.js
===================================================================
new file mode 100644
--- /dev/null
+++ b/chrome/ext/devtools.js
@@ -0,0 +1,27 @@
+/*
+ * This file is part of Adblock Plus ,
+ * Copyright (C) 2006-2016 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 .
+ */
+
+"use strict";
+
+(function()
+{
+ var inspectedTabId = chrome.devtools.inspectedWindow.tabId;
+ var port = chrome.runtime.connect({name: "devtools-" + inspectedTabId});
+
+ ext.onMessage = port.onMessage;
+ ext.devtools = chrome.devtools;
+})();