diff options
author | 2015-04-01 20:17:51 +0200 | |
---|---|---|
committer | 2015-04-01 20:17:51 +0200 | |
commit | 7dc84ecd78603ac0d56c072f1bb7fd35d88a9162 (patch) | |
tree | 125ac09348bb56444305dd477e2f3d35bde22e69 /userinfo.dtd | |
download | dtd-7dc84ecd78603ac0d56c072f1bb7fd35d88a9162.tar.gz dtd-7dc84ecd78603ac0d56c072f1bb7fd35d88a9162.tar.bz2 dtd-7dc84ecd78603ac0d56c072f1bb7fd35d88a9162.zip |
Add current DTDs (including the GuideXML ones until obsoleted)
Diffstat (limited to 'userinfo.dtd')
-rw-r--r-- | userinfo.dtd | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/userinfo.dtd b/userinfo.dtd new file mode 100644 index 0000000..8058c7d --- /dev/null +++ b/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> |