Merge branch 'PHP-7.3' into PHP-7.4

* PHP-7.3:
  Fix #79596: MySQL FLOAT truncates to int some locales

diff --cc NEWS
index fe2b78380f1255a1766cbd2c6adea758aea5cd90,dbb6da2c7fda48027f5e80b5a18e11e01fbb688e..426bd0b8729afa98d0197390c79112834bd708e4
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -8,16 -6,14 +8,19 @@@ PH
    . Fixed bug #79566 (Private SHM is not private on Windows). (cmb)
    . Fixed bug #79489 (.user.ini does not inherit). (cmb)
  
 +- FFI:
 +  . Fixed bug #79571 (FFI: var_dumping unions may segfault). (cmb)
 +
+ - MySQLnd:
+   . Fixed bug #79596 (MySQL FLOAT truncates to int some locales). (cmb)
+ 
  - Opcache:
 -  . Fixed bug #79535 (PHP crashes with specific opcache.optimization_level).
 -    (Nikita)
    . Fixed bug #79588 (Boolean opcache settings ignore on/off values). (cmb)
  
 +- SimpleXML:
 +  . Fixed bug #79528 (Different object of the same xml between 7.4.5 and
 +    7.4.4). (cmb)
 +
  - Standard:
    . Fixed bug #79561 (dns_get_record() fails with DNS_ALL). (cmb)
  

diff --cc ext/mysqlnd/mysql_float_to_double.h
Simple merge