Adding upstream version 115.7.0esr.upstream/115.7.0esrupstream

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

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"]
+  }
+]