Merge branch 'PHP-7.2' into PHP-7.3

diff --cc NEWS
index 4213ad38736d93c872c31a607810d5aba9eb2c1d,419916f40c20223454072a58a875cccbadd7cee3..6333f9d6b06e36a81ae8a752dd10696fc0e84b04
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -41,9 -39,12 +41,13 @@@ PH
    . Fixed bug #77743 (Incorrect pi node insertion for jmpznz with identical
      successors). (Nikita)
  
 +- Phar:
 +  . Fxied bug #77697 (Crash on Big_Endian platform). (Laruence)
 +
+ - phpdbg:
+   . Fixed bug #77767 (phpdbg break cmd aliases listed in help do not match
+     actual aliases). (Miriam Lauter)
+ 
  - sodium:
    . Fixed bug #77646 (sign_detached() strings not terminated). (Frank)