[PHP-DOC] xml-headers in included xml files

[Hartmut Holzgraefe]

is there any reason that we have only <?xml encoding="..."?>
instead of <?xml version="1.0" encoding="..."?>
as first line in files included by manual.xml?