Re: [PHP4BETA] WDDX: Comments in the header
| From: | Andrei Zmievski | Date: | Mon, 28 Feb 2000 16:29:06 +0000 |
| Subject: | Re: [PHP4BETA] WDDX: Comments in the header | ||
| References: | 1 | Groups: | php.version4 |
| Request: | Send a blank email to php-version4+get-11138@lists.php.net to get a copy of this message | ||
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>
Ok, I'll fix that.
-Andrei
"The secret of flying is to throw yourself
at the ground, and miss." -- Douglas Adams