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 7dd06c7bc6931d49001341e36b8796bec8783950..62db7b2e8f31e116839676cadf37b6c4785a245e 100644 (file)
--- a/src/backend/utils/adt/xml.c
+++ b/src/backend/utils/adt/xml.c
@@ -1400,10 +1400,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;
        }