diff --git a/docs/schemas/domaincommon.rng b/docs/schemas/domaincommon.rng index 50d8aa9155..41803c8f99 100644 --- a/docs/schemas/domaincommon.rng +++ b/docs/schemas/domaincommon.rng @@ -90,6 +90,9 @@ + + + @@ -6835,6 +6838,16 @@ + + + + + + +