From 40b667650d9070407a9b916be7e790235a4c2855 Mon Sep 17 00:00:00 2001 From: Julien Date: Thu, 10 Feb 2022 21:02:14 +0100 Subject: [PATCH] Added schema for RSS plugin (#3571) --- docs/schema/plugins.json | 3 +++ 1 file changed, 3 insertions(+) diff --git a/docs/schema/plugins.json b/docs/schema/plugins.json index 45097c428f0..f4e899378f4 100644 --- a/docs/schema/plugins.json +++ b/docs/schema/plugins.json @@ -17,6 +17,9 @@ { "$ref": "plugins/redirects.json" }, + { + "$ref": "https://guts.github.io/mkdocs-rss-plugin/schema.json" + }, { "$ref": "plugins/search.json" },