diff options
| -rw-r--r-- | schema/interface_definition.rnc | 1 | ||||
| -rw-r--r-- | schema/interface_definition.rng | 5 |
2 files changed, 6 insertions, 0 deletions
diff --git a/schema/interface_definition.rnc b/schema/interface_definition.rnc index a338b875f..bded5b0a6 100644 --- a/schema/interface_definition.rnc +++ b/schema/interface_definition.rnc @@ -96,6 +96,7 @@ properties = element properties constraintGroup* & valueHelp* & (element constraintErrorMessage { text })? & + (element constraintSilenceOutput { empty })? & completionHelp* & # "docs" is used to store documentation for a node in a structured format diff --git a/schema/interface_definition.rng b/schema/interface_definition.rng index f36d95eed..cb9b46ecb 100644 --- a/schema/interface_definition.rng +++ b/schema/interface_definition.rng @@ -174,6 +174,11 @@ <text/> </element> </optional> + <optional> + <element name="constraintSilenceOutput"> + <empty/> + </element> + </optional> <zeroOrMore> <ref name="completionHelp"/> </zeroOrMore> |