Remove inadequate check for duplicate "xml" PI.

I failed to think about PIs starting with "xml".  We don't really
need this check at all, so just take it out.  Oversight in
commit 8d1dadb25 et al.

diff --git a/src/backend/utils/adt/xml.c b/src/backend/utils/adt/xml.c
index f6bc499320faeaec3a4788d7220869d5a77a0801..a0017ea893f471fc04a8ab265464c6b0271b6dd9 100644 (file)
--- a/src/backend/utils/adt/xml.c
+++ b/src/backend/utils/adt/xml.c
@@ -1496,10 +1496,6 @@ xml_doctype_in_content(const xmlChar *str)
                if (!e)
                        return false;
 
-               /* we don't check PIs carefully, but do reject "xml" target */
-               if (e - p >= 3 && xmlStrncasecmp(p, (xmlChar *) "xml", 3) == 0)
-                       return false;
-
                /* advance over PI, keep scanning */
                p = e + 2;
        }