A workaround to php 7.3 echoing floats with “,” instead of “.” as a decimal separator; first commit

This commit is contained in:
pezcurrel 2023-12-28 14:50:26 +01:00
parent cea8735470
commit b147447b69

5
web/lib/realfloat.php Normal file
View file

@ -0,0 +1,5 @@
<?php
function rf($num) {
return str_replace(',','.',$num);
}
?>