From 6264ce5802d29a2e71fd43ff9c049147a3e839b4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Filip=20Tron=C3=AD=C4=8Dek?= <filip@gitpod.io>
Date: Fri, 12 Jul 2024 21:11:03 +0200
Subject: [PATCH] Add JSON schema for extension control

---
 extension-control/schema.json | 101 ++++++++++++++++++++++++++++++++++
 1 file changed, 101 insertions(+)
 create mode 100644 extension-control/schema.json

diff --git a/extension-control/schema.json b/extension-control/schema.json
new file mode 100644
index 000000000..6c36eae69
--- /dev/null
+++ b/extension-control/schema.json
@@ -0,0 +1,101 @@
+{
+    "$schema": "http://json-schema.org/draft-07/schema#",
+    "type": "object",
+    "properties": {
+        "malicious": {
+            "type": "array",
+            "items": {
+                "type": "string"
+            }
+        },
+        "migrateToPreRelease": {
+            "type": "object",
+            "additionalProperties": {
+                "type": "object",
+                "properties": {
+                    "id": {
+                        "type": "string"
+                    },
+                    "displayName": {
+                        "type": "string"
+                    },
+                    "migrateStorage": {
+                        "type": "boolean"
+                    },
+                    "engine": {
+                        "type": "string"
+                    }
+                },
+                "required": ["id", "displayName"],
+                "additionalProperties": false
+            }
+        },
+        "deprecated": {
+            "type": "object",
+            "additionalProperties": {
+                "oneOf": [
+                    {
+                        "type": "boolean"
+                    },
+                    {
+                        "type": "object",
+                        "properties": {
+                            "disallowInstall": {
+                                "type": "boolean"
+                            },
+                            "extension": {
+                                "type": "object",
+                                "properties": {
+                                    "id": {
+                                        "type": "string"
+                                    },
+                                    "displayName": {
+                                        "type": "string"
+                                    }
+                                },
+                                "required": ["id", "displayName"],
+                                "additionalProperties": false
+                            },
+                            "settings": {
+                                "type": "array",
+                                "items": {
+                                    "type": "string"
+                                }
+                            },
+                            "additionalInfo": {
+                                "type": "string"
+                            }
+                        },
+                        "additionalProperties": false
+                    }
+                ]
+            }
+        },
+        "search": {
+            "type": "array",
+            "items": {
+                "type": "object",
+                "properties": {
+                    "query": {
+                        "type": "string"
+                    },
+                    "preferredResults": {
+                        "type": "array",
+                        "items": {
+                            "type": "string"
+                        }
+                    }
+                },
+                "additionalProperties": false
+            }
+        },
+        "extensionsEnabledWithPreRelease": {
+            "type": "array",
+            "items": {
+                "type": "string"
+            }
+        }
+    },
+    "required": ["malicious"],
+    "additionalProperties": false
+}