summaryrefslogtreecommitdiffstats
path: root/browser/components/extensions/schemas/devtools.json
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--browser/components/extensions/schemas/devtools.json31
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"]
+ }
+]