Updated JSON schema

2026-05-13 19:52:11 -04:00 · 2023-07-18 14:02:13 +01:00
parent 545fb27418
commit c2e55585fa
3 changed files with 132 additions and 0 deletions
--- a/docs/schema/plugins.json
+++ b/docs/schema/plugins.json
@@ -34,6 +34,9 @@
        {
          "$ref": "plugins/offline.json"
        },
+        {
+          "$ref": "plugins/optimize.json"
+        },
        {
          "$ref": "plugins/privacy.json"
        },
@@ -45,6 +48,9 @@
        },
        {
          "$ref": "plugins/tags.json"
+        },
+        {
+          "$ref": "plugins/typeset.json"
        }
      ]
    },