From 7504e8ee73dfa11e1db0500fea8a0ce7da961e13 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Timoth=C3=A9e=20Mazzucotelli?= <pawamoy@pm.me>
Date: Sun, 11 Dec 2022 16:22:14 +0100
Subject: [PATCH] Add mkdocstrings JSON schema

---
 docs/schema/plugins.json | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/docs/schema/plugins.json b/docs/schema/plugins.json
index 58c589fe0..ddddd8a39 100644
--- a/docs/schema/plugins.json
+++ b/docs/schema/plugins.json
@@ -85,6 +85,9 @@
         },
         {
           "$ref": "https://raw.githubusercontent.com/prcr/mkdocs-meta-descriptions-plugin/main/schema.json"
+        },
+        {
+          "$ref": "https://raw.githubusercontent.com/mkdocstrings/mkdocstrings/master/docs/schema.json"
         }
       ]
     }