lib/dom: allow `xml` in tag name

I'm not sure, what was the reason of this, security concerns maybe?
In this case I can change it as an option.

But we want this parser to parse correctly formed XML documents.

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

diff --git a/lib/dom/parser.nit b/lib/dom/parser.nit
index 7ebe6b0..94f718b 100644 (file)
--- a/lib/dom/parser.nit
+++ b/lib/dom/parser.nit
@@ -187,7 +187,6 @@ class XMLProcessor
                                end
                        end
                else
-                       if tag_name.has("xml") then return new XMLError(st_loc, "Forbidden keyword xml in Processing Instruction")
                        var cont_st = pos
                        var cont_end = ignore_until("?>")
                        if cont_end == -1 then