Issue 5028 - Use browser namespace

devtools-panel.js

Index: devtools-panel.js
===================================================================
--- a/devtools-panel.js
+++ b/devtools-panel.js
@@ -14,17 +14,17 @@
  * 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";
 
 let lastFilterQuery = null;
 
-chrome.runtime.sendMessage({type: "types.get"},
+browser.runtime.sendMessage({type: "types.get"},
   (filterTypes) =>
   {
     let filterTypesElem = document.getElementById("filter-type");
     let filterStyleElem = document.createElement("style");
     for (let type of filterTypes)
     {
       filterStyleElem.innerHTML +=
         `#items[data-filter-type=${type}] tr:not([data-type=${type}])` +
@@ -62,17 +62,17 @@
 {
   let button = document.createElement("span");
 
   button.textContent = label;
   button.classList.add("action");
 
   button.addEventListener("click", () =>
   {
-    chrome.runtime.sendMessage({
+    browser.runtime.sendMessage({
       type: "filters." + action,
       text: filter
     });
   }, false);
 
   return button;
 }
 
@@ -249,11 +249,11 @@
         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";
+  let theme = browser.devtools.panels.themeName || "default";
   document.body.classList.add(theme);
 }, false);