From 46ba260886f0e84b3fcc0ccff463edb437f6226d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=81lvaro=20Mond=C3=A9jar=20Rubio?= Date: Sat, 5 Mar 2022 13:16:55 +0100 Subject: [PATCH] Add two plugins to plugins JSON schemas --- docs/schema/plugins.json | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/docs/schema/plugins.json b/docs/schema/plugins.json index cd2792736ea..c689240be93 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" },