diff options
author | Arne Juul <arnej@yahoo-inc.com> | 2017-09-05 07:57:54 +0000 |
---|---|---|
committer | Arne Juul <arnej@yahoo-inc.com> | 2017-09-05 08:02:35 +0000 |
commit | ce3399dfba40145ea806c435d630f36fa45eb621 (patch) | |
tree | 1570a559fb8683b1ca96bd42a3fe289bf5e9ef77 /config-model/src/main/resources/schema/admin.rnc | |
parent | f14b11c91a8163ee0220d7a3caee0a86c8d5ebbc (diff) |
add "display-name" attribute for metrics
Diffstat (limited to 'config-model/src/main/resources/schema/admin.rnc')
-rw-r--r-- | config-model/src/main/resources/schema/admin.rnc | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/config-model/src/main/resources/schema/admin.rnc b/config-model/src/main/resources/schema/admin.rnc index 3db16f74e77..26705784a34 100644 --- a/config-model/src/main/resources/schema/admin.rnc +++ b/config-model/src/main/resources/schema/admin.rnc @@ -88,7 +88,10 @@ Metrics = element metrics { element consumer { attribute id { xsd:Name } & element metric-set { attribute id { xsd:Name } }* & - element metric { attribute id { xsd:Name } }* + element metric { + attribute id { xsd:Name } & + attribute display-name { xsd:Name }? + }* }+ } |