Change interface to property on devtool page #21004
Conversation
| @@ -19,7 +19,7 @@ Enables extensions to interact with the browser's {{Glossary("Developer Tools")} | |||
|
|
|||
| To use this API you need to have the `"devtools"` [API permission](/en-US/docs/Mozilla/Add-ons/WebExtensions/manifest.json/permissions#api_permissions) specified in your [manifest.json](/en-US/docs/Mozilla/Add-ons/WebExtensions/manifest.json) file. This permission can not be optional. | |||
There was a problem hiding this comment.
@rebloor Unrelated to what this pull request is meant to fix, it seems worth filing it as a separate issue, but I did notice it while I was looking to this diff and so I thought to mention it to you here in the meantime:
-
"devtools" API doesn't technically exist in Chromium, and in Firefox isn't mandatory, it is implicitly prompted (and granted) at install time if the extension has a "devtools_page" property in the manifest.json file (unless listed as an optional permission in Firefox >= 77)
-
in Firefox >= 77 "devtools" permission can also be listed as an optional permission, if listed as an optional permission in the manifest.json file it will not be prompted and granted at install time and the extensions is going to be responsible of requesting it using the permissions WebExtensions API
-
It may be worth to mention that the "devtools" API namespace is only available in the DevTools Extension Pages (the devtools_page and the extension devtools panels created from the devtools_page using the
devtools.panels.createanddevtools.panels.elements.createSidebarPane), no other extension pages (e.g. background page or action popup panels pages) can access this API namespace
Description
Changes the heading for the list of devtools properties to properties. Change missed from #20969.