2023-10-24 00:31:52 +02:00
|
|
|
{
|
|
|
|
|
"$schema": "http://json-schema.org/draft-07/schema",
|
|
|
|
|
"title": "Minecraft JSON UI",
|
|
|
|
|
"type": "object",
|
|
|
|
|
"properties": {
|
|
|
|
|
"namespace": {
|
|
|
|
|
"title": "Namespace",
|
|
|
|
|
"type": "string",
|
|
|
|
|
"pattern": "^[a-zA-Z0-9_-]+$"
|
|
|
|
|
}
|
|
|
|
|
},
|
|
|
|
|
"additionalProperties": {
|
2023-11-04 19:30:10 +01:00
|
|
|
"$ref": "./grouped-ui.json"
|
2023-10-24 00:31:52 +02:00
|
|
|
}
|
|
|
|
|
}
|
