Updated JSON schema (#8264)

* Update schema.json

* Update schema.json

change the order
This commit is contained in:
Kevin Zhang 2025-06-14 15:08:51 +08:00 committed by GitHub
parent 2313e0c536
commit 74f6007e31
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 5 additions and 0 deletions

View File

@ -166,6 +166,11 @@
"markdownDescription": "https://www.mkdocs.org/user-guide/configuration/#exclude_docs",
"type": "string"
},
"draft_docs": {
"title": "Pattern to declare draft documents",
"markdownDescription": "https://www.mkdocs.org/user-guide/configuration/#draft_docs",
"type": "string"
},
"not_in_nav": {
"title": "Pattern to declare pages that do not appear in the navigation",
"markdownDescription": "https://www.mkdocs.org/user-guide/configuration/#not_in_nav",