Added further plugins to JSON schema (#3668)

This commit is contained in:
Álvaro Mondéjar 2022-03-06 11:27:03 +01:00 committed by GitHub
parent bc7e687fdb
commit d83a32446b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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"
},