Added further plugins to JSON schema (#3668)

squidfunk · Mar 6, 2022 · d83a324 · d83a324
1 parent bc7e687
commit d83a324
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/docs/schema/plugins.json b/docs/schema/plugins.json
@@ -5,6 +5,9 @@
   "type": "array",
   "items": {
     "oneOf": [
+      {
+        "$ref": "https://raw.githubusercontent.com/mondeja/mkdocs-include-markdown-plugin/master/schema.json"
+      },
       {
         "$ref": "plugins/git-revision-date.json"
       },
@@ -26,6 +29,9 @@
       {
         "$ref": "plugins/redirects.json"
       },
+      {
+        "$ref": "https://raw.githubusercontent.com/mondeja/mkdocs-material-relative-language-selector/master/schema.json"
+      },
       {
         "$ref": "https://guts.github.io/mkdocs-rss-plugin/schema.json"
       },