Index: ext/devtools.js |
=================================================================== |
--- a/ext/devtools.js |
+++ b/ext/devtools.js |
@@ -12,16 +12,15 @@ |
* 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 <http://www.gnu.org/licenses/>. |
*/ |
"use strict"; |
-(function() |
{ |
let inspectedTabId = browser.devtools.inspectedWindow.tabId; |
let port = browser.runtime.connect({name: "devtools-" + inspectedTabId}); |
ext.onMessage = port.onMessage; |
ext.devtools = browser.devtools; |
-}()); |
+} |