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 67e95e43268767ed55d5993831c470d70708ceb6..48d98e96cf50af51f4cb236daeb3fec19bdf5525 100644 (file)
--- a/src/backend/utils/adt/xml.c
+++ b/src/backend/utils/adt/xml.c
@@ -1465,10 +1465,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;
    }