diff options
Diffstat (limited to '')
| -rw-r--r-- | browser/components/extensions/schemas/devtools.json | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/browser/components/extensions/schemas/devtools.json b/browser/components/extensions/schemas/devtools.json new file mode 100644 index 0000000000..3568a6c101 --- /dev/null +++ b/browser/components/extensions/schemas/devtools.json @@ -0,0 +1,31 @@ +[ + { + "namespace": "manifest", + "types": [ + { + "$extend": "WebExtensionManifest", + "properties": { + "devtools_page": { + "$ref": "ExtensionURL", + "optional": true + } + } + }, + { + "$extend": "OptionalPermission", + "choices": [ + { + "type": "string", + "enum": ["devtools"] + } + ] + } + ] + }, + { + "namespace": "devtools", + "permissions": ["manifest:devtools_page"], + "allowedContexts": ["devtools", "devtools_only"], + "defaultContexts": ["devtools", "devtools_only"] + } +] |