2 commits

Author	SHA1	Message	Date
pezcurrel	3b7e818f22	Using preg_replace instead of str_replace to substitute all non-digit characters	2023-12-29 10:00:12 +01:00
pezcurrel	b147447b69	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