Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  Add support for getting SKIP_TAGSTART and SKIP_WHITE options

diff --cc NEWS
index 2c30d47674e56389795805d931788076ba9e26c1,4652c6657f590cfcf6d84c5b04f3494e1fccea0e..2fd6456e3f1962c2ad203e773ab4c4bd6a45604a
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -46,14 -28,15 +46,15 @@@ PH
  
  - XML:
    . Fixed bug #30875 (xml_parse_into_struct() does not resolve entities). (cmb)
+   . Add support for getting SKIP_TAGSTART and SKIP_WHITE options. (cmb)
  
 -11 Oct 2018, PHP 7.1.23
 +11 Oct 2018, PHP 7.2.11
  
  - Core:
 +  . Fixed bug #76800 (foreach inconsistent if array modified during loop).
 +    (Dmitry)
    . Fixed bug #76901 (method_exists on SPL iterator passthrough method corrupts
      memory). (Nikita)
 -  . Fixed bug #76846 (Segfault in shutdown function after memory limit error).
 -    (Nikita)
  
  - CURL:
    . Fixed bug #76480 (Use curl_multi_wait() so that timeouts are respected).

diff --cc ext/xml/xml.c
Simple merge