Merge branch 'PHP-7.2' into PHP-7.3

diff --cc NEWS
index dccd2f2c417c584058175b5dbb4dbd41f94950cf,ee75ecd908ce3d9cf7dfdaedf4a1c99eac1ce503..2c67c142448553eec18917a8e48f16c3469e55be
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -17,9 -10,10 +17,13 @@@ PH
  - FCGI:
    . Fixed #76948 (Failed shutdown/reboot or end session in Windows). (Anatol)
  
+ - FTP:
+   . Fixed bug #76972 (Data truncation due to forceful ssl socket shutdown).
+     (Manuel Mausz)
+ 
 +- Mbstring:
 +  . Fixed bug #76958 (Broken UTF7-IMAP conversion). (Nikita)
 +
  - Reflection:
    . Fixed bug #76936 (Objects cannot access their private attributes while
      handling reflection errors). (Nikita)

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