diff options
author | Ulrich Müller <ulm@gentoo.org> | 2021-05-19 09:52:37 +0200 |
---|---|---|
committer | Ulrich Müller <ulm@gentoo.org> | 2021-05-19 09:52:37 +0200 |
commit | b1bab6a516c5512e84ed70b38f0750654ab4a5f5 (patch) | |
tree | 76c450c5848177955765711f444d60d8cb691f18 /userinfo.rnc | |
parent | metadata.rnc: Update from DTD (diff) | |
download | nxml-gentoo-schemas-b1bab6a516c5512e84ed70b38f0750654ab4a5f5.tar.gz nxml-gentoo-schemas-b1bab6a516c5512e84ed70b38f0750654ab4a5f5.tar.bz2 nxml-gentoo-schemas-b1bab6a516c5512e84ed70b38f0750654ab4a5f5.zip |
userinfo.rnc: File restored
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Diffstat (limited to 'userinfo.rnc')
-rw-r--r-- | userinfo.rnc | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/userinfo.rnc b/userinfo.rnc new file mode 100644 index 0000000..54a1305 --- /dev/null +++ b/userinfo.rnc @@ -0,0 +1,44 @@ +userlist = element userlist { attlist.userlist, user+ } +attlist.userlist &= empty +user = + element user { + attlist.user, + realname, + pgpkey+, + alias*, + email+, + joined*, + retired*, + status?, + roles?, + location? + } +attlist.user &= attribute username { xsd:ID } +realname = element realname { attlist.realname, firstname, familyname } +attlist.realname &= attribute fullname { text }? +firstname = element firstname { attlist.firstname, text } +attlist.firstname &= empty +familyname = element familyname { attlist.familyname, text } +attlist.familyname &= attribute sort { text }? +pgpkey = element pgpkey { attlist.pgpkey, text } +attlist.pgpkey &= empty +alias = element alias { attlist.alias, text } +attlist.alias &= empty +email = element email { attlist.email, text } +attlist.email &= empty +# all dates should be YYYY-MM-DD - eg '2006-11-22' +joined = element joined { attlist.joined, text } +attlist.joined &= empty +retired = element retired { attlist.retired, text } +attlist.retired &= empty +status = element status { attlist.status, text } +attlist.status &= empty +roles = element roles { attlist.roles, text } +attlist.roles &= empty +# Location is the string displayed on the webpage +location = element location { attlist.location, text } +# signed decimal numbers. degrees north/east. +attlist.location &= + attribute latitude { text }?, + attribute longitude { text }? +start = userlist |