Re: [PHP4BETA] WDDX: Comments in the header
| From: | Stig S. Bakken | Date: | Mon, 28 Feb 2000 16:48:46 +0000 |
| Subject: | Re: [PHP4BETA] WDDX: Comments in the header | ||
| References: | 1 2 | Groups: | php.version4 |
| Request: | Send a blank email to php-version4+get-11141@lists.php.net to get a copy of this message | ||
Andrei Zmievski wrote:
>
> On Mon, 28 Feb 2000, Tobias Ratschiller wrote:
> > Hey,
> >
> > Andrei or Sascha, if you're going to work on the WDDX support:
> >
> > Currently, comments are stored as attributes in the header element:
> > <header comment='This is a comment.'/>
> >
> > The current 1.0a version of the DTD has:
> > <!ELEMENT header (comment?)>
> > <!ELEMENT comment (#PCDATA)>
> >
> > So, comment should be an element below header:
> > <header><comment>This is a comment.</comment></header>
>
> I'm not too familiar with DTDs, but are you sure about this? In their
> example, header is written as <header/> and they don't even show
> comment. Please find out for sure so that I can change it if necessary.
The snippet above from the DTD says that the header element may contain
one comment element. It may also be empty, in which case it would be
<header/>.
- Stig