From 47f7f631043b3d862a7dd88dc9f742b0e143c47b Mon Sep 17 00:00:00 2001 From: FredZinelli <145555278+FredZinelli@users.noreply.github.com> Date: Tue, 20 Aug 2024 11:26:07 +0200 Subject: [PATCH] Added plugins to "external-community" in plugins.json (#7465) --- docs/schema/plugins.json | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/docs/schema/plugins.json b/docs/schema/plugins.json index c537c4b98..9b27a22db 100644 --- a/docs/schema/plugins.json +++ b/docs/schema/plugins.json @@ -127,6 +127,12 @@ }, { "$ref": "https://raw.githubusercontent.com/timvink/mkdocs-table-reader-plugin/master/docs/schema.json" + }, + { + "$ref": "https://gitlab.com/frederic-zinelli/pyodide-mkdocs-theme/-/raw/main/pyodide-macros-schema.json" + }, + { + "$ref": "https://gitlab.com/frederic-zinelli/mkdocs-addresses/-/raw/main/mkdocs-addresses-schema.json" } ] }