Merge branch 'PHP-7.2' into PHP-7.3

diff --cc NEWS
index 3fcacbb17c7fcaf4b1a01e79d27cbe751adb788c,d04dc6b79b583709f01429b0634edb8ae213a466..b894cc5b623e8fb904c214274823fcfc069ab651
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -8,8 -22,7 +8,11 @@@ PH
  
  - Date:
    . Fixed bug #69044 (discrepency between time and microtime). (krakjoe)
 +  . Updated timelib to 2018.02. (Derick)
 +
++- FTP:
++  . Fixed bug #78039 (FTP with SSL memory leak). (Nikita)
+ 
  - Libxml:
    . Fixed bug #78279 (libxml_disable_entity_loader settings is shared between
      requests (cgi-fcgi)). (Nikita)

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