From d83a32446b8d8dd7c18bcdf769c830bbdc95bdf3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=81lvaro=20Mond=C3=A9jar?= Date: Sun, 6 Mar 2022 11:27:03 +0100 Subject: [PATCH] Added further plugins to JSON schema (#3668) --- docs/schema/plugins.json | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/docs/schema/plugins.json b/docs/schema/plugins.json index cd2792736..c689240be 100644 --- 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" },