Hi Sara,
On Sunday 28 August 2005 00:02, Sara Golemon wrote:
> +<INITIAL>"<?xml"([ \t]|{NEWLINE}) {
And what's with <?xml-stylesheet ?> or any other processing instruction? Even
so others than xml are rarely used it would imho be a great wtf factor if
<?xml is somehow special.
At a sidenote: If you output xml you anyways neet to set the right
content-type header, so either set default_mimetype to text/xml (or similar)
and turn of short_open_tags in the php.ini or start the file with a header()
call followed by an echo of the xml-pi.
johannes
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php
