pezcurrel d998837828 Using realfloat.php “rf()” function tu workaround php 7.3 echoing floats with “,” instead of “.” as a decimal separator		2023-12-28 14:52:08 +01:00
..
clitools	Began working on checks	2023-12-28 12:37:38 +01:00
conf	Removed useless .htaccess files	2023-12-26 11:22:58 +01:00
init	Dropped “Instances” table “BlockListAvailable” column and added “Threads” column	2023-12-27 00:08:14 +01:00
lib	A workaround to php 7.3 echoing floats with “,” instead of “.” as a decimal separator; first commit	2023-12-28 14:50:26 +01:00
site	Using realfloat.php “rf()” function tu workaround php 7.3 echoing floats with “,” instead of “.” as a decimal separator	2023-12-28 14:52:08 +01:00