diff options
Diffstat (limited to 'schema/interface_definition.rng')
| -rw-r--r-- | schema/interface_definition.rng | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/schema/interface_definition.rng b/schema/interface_definition.rng index d1bd9a708..5a0a48845 100644 --- a/schema/interface_definition.rng +++ b/schema/interface_definition.rng @@ -169,6 +169,11 @@ </element> </optional> <optional> + <element name="type"> + <text/> + </element> + </optional> + <optional> <!-- These are meaningful only for tag nodes --> <group> <element name="keepChildOrder"> |