diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2021-05-20 00:51:20 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2021-05-20 00:51:20 +0000 |
| commit | 25d3b068f69fe461e77138691aab4943b5bac44d (patch) | |
| tree | a383bb0a895b5b050e3ecd9f3340f3da4d77e748 /metadata/dtd | |
| parent | 2021-05-19 23:50:15 UTC (diff) | |
| parent | userinfo.dtd: Restore file (diff) | |
| download | gentoo-25d3b068f69fe461e77138691aab4943b5bac44d.tar.gz gentoo-25d3b068f69fe461e77138691aab4943b5bac44d.tar.bz2 gentoo-25d3b068f69fe461e77138691aab4943b5bac44d.zip | |
Merge commit 'f3d67ebb1a9ee778de04b64ec8d89471fa9bcfe3'
Diffstat (limited to 'metadata/dtd')
| -rw-r--r-- | metadata/dtd/userinfo.dtd | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/metadata/dtd/userinfo.dtd b/metadata/dtd/userinfo.dtd new file mode 100644 index 000000000000..8058c7d79295 --- /dev/null +++ b/metadata/dtd/userinfo.dtd @@ -0,0 +1,23 @@ +<!ELEMENT userlist (user+)> +<!ELEMENT user (realname, pgpkey+, alias*, email+, joined*, retired*, status?, roles?, location?) > + <!ATTLIST user username ID #REQUIRED> + <!ELEMENT realname (firstname,familyname)> + <!ATTLIST realname fullname CDATA #IMPLIED> + <!ELEMENT firstname (#PCDATA) > + <!ELEMENT familyname (#PCDATA) > + <!ATTLIST familyname sort CDATA #IMPLIED> + <!ELEMENT pgpkey (#PCDATA)> + <!ELEMENT alias (#PCDATA)> + <!ELEMENT email (#PCDATA)> + + <!-- all dates should be YYYY-MM-DD - eg '2006-11-22' --> + <!ELEMENT joined (#PCDATA)> + <!ELEMENT retired (#PCDATA)> + + <!ELEMENT status (#PCDATA)> + <!ELEMENT roles (#PCDATA)> + <!-- Location is the string displayed on the webpage --> + <!ELEMENT location (#PCDATA)> + <!-- signed decimal numbers. degrees north/east. --> + <!ATTLIST location latitude CDATA #IMPLIED + longitude CDATA #IMPLIED> |