schema/v2: make options for devices optional

Some devices might not need any options.
This commit is contained in:
Christian Kellner 2021-07-20 17:16:51 +00:00
parent 31943072c7
commit 50627b713c

View file

@ -26,7 +26,7 @@
"device": { "device": {
"title": "Device for a stage", "title": "Device for a stage",
"additionalProperties": false, "additionalProperties": false,
"required": ["type", "options"], "required": ["type"],
"properties": { "properties": {
"type": { "type": "string" }, "type": { "type": "string" },
"options": { "options": {