Merge branch 'PHP-7.1' into PHP-7.2

diff --cc NEWS
index f354295a71eebe7d328e98743560bb8efee87258,2154357ebd5705779e135a793b2212e31b377582..6262cb69f1dfb8fa1235a96221d1b68d17e68415
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -7,15 -7,11 +7,19 @@@ PH
  
  - CURL:
    . Fixed bug #75093 (OpenSSL support not detected). (Remi)
 +  . Better fix for #74125 (use pkg-config instead of curl-config). (Remi)
 +
 +- GD:
 +  . Fixed bug #75111 (Memory disclosure or DoS via crafted .bmp image). (cmb)
  
+ - Intl:
+   . Fixed bug #75090 (IntlGregorianCalendar doesn't have constants from parent
+     class). (tpunt)
+ 
 +- PCRE:
 +  . Fixed bug #75089 (preg_grep() is not reporting PREG_BAD_UTF8_ERROR after
 +    first input string). (Dmitry)
 +
  - PDO_OCI:
    . Fixed bug #74631 (PDO_PCO with PHP-FPM: OCI environment initialized
      before PHP-FPM sets it up). (Ingmar Runge)