Merge branch 'PHP-7.2' into PHP-7.3

diff --cc NEWS
index 936ad95f31960134576617c2512c6ab31755910d,932a36a755b2ae4d968285ea6a496762ef6a72d8..307fcb6550b3bb91e2a26fa5f1d0e1c014aec7e3
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -16,9 -5,11 +16,11 @@@ PH
  - Opcache:
    . Fixed bug #76832 (ZendOPcache.MemoryBase periodically deleted by the OS).
      (Anatol)
+   . Fixed bug #76796 (Compile-time evaluation of disabled function in opcache
+     causes segfault). (Nikita)
  
  - POSIX:
 -  . Fixed bug #75696 (posix_getgrnam fails to print details of group). (cmb)
 +  Fixed bug #75696 (posix_getgrnam fails to print details of group). (cmb)
  
  - Reflection:
    . Fixed bug #74454 (Wrong exception being thrown when using ReflectionMethod).

diff --cc ext/opcache/Optimizer/sccp.c
Simple merge