Added comment to explain why we are using “realfloat”

This commit is contained in:
pezcurrel 2023-12-29 10:03:11 +01:00
parent 9ece96fcd9
commit c3d5050b42

View file

@ -13,7 +13,7 @@ $dlanguc=strtoupper($dlang);
require '../lib/n2es.php';
require '../lib/gracetime.php';
require '../lib/fnum.php';
require '../lib/realfloat.php';
require '../lib/realfloat.php';// had to resort to this because php 7.3 has a bug: when echoing a float, it uses the decimal separator of the locale that was set with setlocale, making a mess when the separator is different than "." with stuff expecting it to be "."
use function mysqli_real_escape_string as myesc;
/*$dlang='fr';