diff options
| -rw-r--r-- | xml/htdocs/dtd/userinfo.dtd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/xml/htdocs/dtd/userinfo.dtd b/xml/htdocs/dtd/userinfo.dtd index d6f973bd..8058c7d7 100644 --- a/xml/htdocs/dtd/userinfo.dtd +++ b/xml/htdocs/dtd/userinfo.dtd @@ -1,5 +1,5 @@ <!ELEMENT userlist (user+)> -<!ELEMENT user (realname, pgpkey+, alias*, email+, joined, retired?, status?, roles?, location?) > +<!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> |