Added JSON schema

2026-07-28 08:42:47 -04:00 · 2022-01-29 16:12:25 +01:00
parent bcba266bfb
commit 8a1e52aa4a
7 changed files with 1476 additions and 0 deletions
--- a/docs/schema/plugins.json
+++ b/docs/schema/plugins.json
@@ -0,0 +1,21 @@
+{
+  "$schema": "https://json-schema.org/draft-07/schema",
+  "title": "Plugins",
+  "markdownDescription": "https://www.mkdocs.org/dev-guide/plugins/",
+  "type": "array",
+  "items": {
+    "oneOf": [
+      {
+        "$ref": "plugins/minify.json"
+      },
+      {
+        "$ref": "plugins/redirects.json"
+      },
+      {
+        "$ref": "plugins/search.json"
+      }
+    ]
+  },
+  "uniqueItems": true,
+  "minItems": 1
+}