Bug 1455573 - Part 1: Introduce extensionId to the tool definition for web extension. r=rpl
authorDaisuke Akatsuka <dakatsuka@mozilla.com>
Fri, 27 Apr 2018 06:29:04 +0900
changeset 472043 6b3c256ecab95931cc66ca987cc267f07243eb17
parent 472042 d78701ac0ea19f849ca73dac988484a8da9d3635
child 472044 7b406eceeadd9a65d709fe76e1e1e559fcce173d
push id1728
push userjlund@mozilla.com
push dateMon, 18 Jun 2018 21:12:27 +0000
treeherdermozilla-release@c296fde26f5f [default view] [failures only]
perfherder[talos] [build metrics] [platform microbench] (compared to previous push)
reviewersrpl
bugs1455573
milestone61.0a1
first release with
nightly linux32
nightly linux64
nightly mac
nightly win32
nightly win64
last release without
nightly linux32
nightly linux64
nightly mac
nightly win32
nightly win64
Bug 1455573 - Part 1: Introduce extensionId to the tool definition for web extension. r=rpl MozReview-Commit-ID: Fu6EfU71LHO
browser/components/extensions/parent/ext-devtools-panels.js
--- a/browser/components/extensions/parent/ext-devtools-panels.js
+++ b/browser/components/extensions/parent/ext-devtools-panels.js
@@ -75,16 +75,17 @@ class ParentDevToolsPanel {
   }
 
   addPanel() {
     const {icon, title} = this.panelOptions;
     const extensionName = this.context.extension.name;
 
     this.toolbox.addAdditionalTool({
       id: this.id,
+      extensionId: this.context.extension.id,
       url: "chrome://browser/content/webext-panels.xul",
       icon: icon,
       label: title,
       tooltip: `DevTools Panel added by "${extensionName}" add-on.`,
       isTargetSupported: target => target.isLocalTab,
       build: (window, toolbox) => {
         if (toolbox !== this.toolbox) {
           throw new Error("Unexpected toolbox received on addAdditionalTool build property");