Added comment to explain why it is needed

This commit is contained in:
pezcurrel 2023-12-29 10:04:40 +01:00
parent 83868504d7
commit fee84db66a

View file

@ -7,7 +7,7 @@ if (!defined('N')) {
$lc=localeconv();
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 "."
require '../lib/supplangs.php';
echo('</nav>