Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Fix #78641: addGlob can modify given remove_path value

diff --cc NEWS
index e230cd21f246b99e4067f8a5b00b0014a0e0bb88,4003ef78934f878647d165f8fc6276a8651f5f9c..cbd309a722fe7b4a141baf87a248b90afdcaf876
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -49,7 -37,10 +49,10 @@@ PH
    . Fixed bug #76859 (stream_get_line skips data if used with data-generating 
      filter). (kkopachev)
  
 -26 Sep 2019, PHP 7.2.23
+ - Zip:
+   . Fixed bug #78641 (addGlob can modify given remove_path value). (cmb)
+ 
 +26 Sep 2019, PHP 7.3.10
  
  - Core:
    . Fixed bug #78220 (Can't access OneDrive folder). (cmb, ab)

diff --cc ext/zip/php_zip.c
Simple merge