Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Fix arginfo for bzcompress

diff --cc NEWS
index 5df716e3f360511bdc2eb2073c68d33a0dbc4dc8,0714b2222fa058834bac5dc3b068f87a02f0a20c..bf3cb8c6c32a930b2f03462f8bc398bac028efa0
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -1,10 -1,13 +1,13 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? 2018, PHP 7.2.10
 +?? ??? ????, PHP 7.3.0beta2
  
  - Core:
 -  . Fixed bug #72443 (Generate enabled extension). (petk)
 +  . Fixed bug #76030 (RE2C_FLAGS rarely honoured) (Cristian Rodríguez)
  
+ - Bz2:
+   . Fixed arginfo for bzcompress. (Tyson Andre)
+ 
  - gettext:
    . Fixed bug #76517 (incorrect restoring of LDFLAGS). (sji)
  

diff --cc ext/bz2/bz2.c
Simple merge