Merge branch 'PHP-7.1' into PHP-7.2

diff --cc NEWS
index b3095be86650aecc0eac34c5748cb2949abf8a25,23dccb02baacb112d6af28fc8b1cbeb64edd432e..892d62ddad50077dab9ae66bb4a44cd8e7470227
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -10,19 -7,9 +10,21 @@@ PH
    . Fixed bug #75786 (segfault when using spread operator on generator passed
      by reference). (Nikita)
    . Fixed bug #75799 (arg of get_defined_functions is optional). (carusogabriel)
+   . Fixed bug #75396 (Exit inside generator finally results in fatal error).
+     (Nikita)
  
 +- Opcache:
 +  . Fixed bug #75687 (var 8 (TMP) has array key type but not value type).
 +    (Nikita, Laruence)
 +  . Fixed bug #75698 (Using @ crashes php7.2-fpm). (Nikita)
 +
 +- PDO:
 +  . Fixed bug #75616 (PDO extension doesn't allow to be built shared on Darwin).
 +    (jdolecek)
 +
 +- PDO MySQL:
 +  . Fixed bug #75615 (PDO Mysql module can't be built as module). (jdolecek)
 +
  - Opcache:
    . Fixed bug #75720 (File cache not populated after SHM runs full). (Dmitry)
    . Fixed bug #75579 (Interned strings buffer overflow may cause crash).

diff --cc Zend/zend_generators.c
Simple merge