{ "$schema": "https://json-schema.org/draft/2020-12/schema", "$id": "#/components/schemas/ConfigurablePropTimer", "title": "ConfigurablePropTimer", "allOf": [ { "$ref": "#/components/schemas/ConfigurablePropBase" }, { "type": "object", "description": "This prop is used to configure a timer interface.", "required": [ "type" ], "properties": { "type": { "type": "string", "enum": [ "$.interface.timer" ] }, "static": { "$ref": "#/components/schemas/ConfigurablePropTimerStatic" }, "default": { "$ref": "#/components/schemas/ConfigurablePropTimerDefault" }, "options": { "type": "array", "nullable": true, "description": "Available timer configuration options", "items": { "$ref": "#/components/schemas/ConfigurablePropTimerOption" } } } } ] }