From: Alexandre Terrasa <alexandre@moz-code.org>
Date: Wed, 20 Sep 2017 21:38:49 +0000 (-0400)
Subject: lib/dom: allow `xml` in tag name
X-Git-Url: http://nitlanguage.org

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
--- 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