Merge branch 'PHP-7.2' into PHP-7.3

diff --cc NEWS
index 14ab328f9673187700406057f6bddc8bffc38b82,438c962759ec17879ad25430b67c2183b4c17104..65a2d67e73c220fef77ec216ae925e4856c526fa
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -26,6 -18,6 +26,10 @@@ PH
    . Fixed bug #78079 (openssl_encrypt_ccm.phpt fails with OpenSSL 1.1.1c).
      (Jakub Zelenka)
  
++- phpdbg:
++  . Fixed bug #78050 (SegFault phpdbg + opcache on include file twice).
++    (Nikita)
++
  - Sockets:
    . Fixed bug #78038 (Socket_select fails when resource array contains
      references). (Nikita)