Added plugins to "external-community" in plugins.json (#7465)

squidfunk · Aug 20, 2024 · 47f7f63 · 47f7f63
1 parent 42ab11f
commit 47f7f63
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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"
         }
       ]
     }