Issue 4580 - Replace ext.devtools with devtools

devtools-panel.js

 /*
  * This file is part of Adblock Plus <https://adblockplus.org/>,
  * Copyright (C) 2006-present 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
@@ skipping 53 matching lines @@
 
   button.textContent = label;
   button.classList.add("action");
 
   button.addEventListener("click", () =>
   {
     chrome.runtime.sendMessage({
       type: "filters." + action,
       text: filter
     });
-  }, false);
+  });
 
   return button;
 }
 
 function createRecord(request, filter, template)
 {
   let row = document.importNode(template, true);
   row.dataset.type = request.type;
 
   row.querySelector(".domain").textContent = request.docDomain;
   row.querySelector(".type").textContent = request.type;
 
   let urlElement = row.querySelector(".url");
   let actionWrapper = row.querySelector(".action-wrapper");
 
   if (request.url)
   {
     urlElement.textContent = request.url;
 
     if (request.type != "POPUP")
     {
       urlElement.classList.add("resourceLink");
       urlElement.addEventListener("click", () =>
       {
-        ext.devtools.panels.openResource(request.url);
-      }, false);
+        chrome.devtools.panels.openResource(request.url);
+      });
     }
   }
 
   if (filter)
   {
     let filterElement = row.querySelector(".filter");
     let originElement = row.querySelector(".origin");
 
     filterElement.textContent = filter.text;
     row.dataset.state = filter.whitelisted ? "whitelisted" : "blocked";
@@ skipping 75 matching lines @@
 }
 
 document.addEventListener("DOMContentLoaded", () =>
 {
   let container = document.getElementById("items");
   let table = container.querySelector("tbody");
   let template = document.querySelector("template").content.firstElementChild;
 
   document.getElementById("reload").addEventListener("click", () =>
   {
-    ext.devtools.inspectedWindow.reload();
-  }, false);
+    chrome.devtools.inspectedWindow.reload();
+  });
 
   document.getElementById("filter-state").addEventListener("change", (event) =>
   {
     container.dataset.filterState = event.target.value;
-  }, false);
+  });
 
   document.getElementById("filter-type").addEventListener("change", (event) =>
   {
     container.dataset.filterType = event.target.value;
-  }, false);
+  });
 
   ext.onMessage.addListener((message) =>
   {
     switch (message.type)
     {
       case "add-record":
         table.appendChild(createRecord(message.request, message.filter,
                                        template));
         break;
 
@@ skipping 31 matching lines @@
         lastFilterQuery = null;
         break;
     }
   });
 
   // Since Chrome 54 the themeName is accessible, for earlier versions we must
   // assume the default theme is being used.
   // https://bugs.chromium.org/p/chromium/issues/detail?id=608869
   let theme = chrome.devtools.panels.themeName || "default";
   document.body.classList.add(theme);
-}, false);
+});