Commit History

Author SHA1 Message Date
  pezcurrel 3b7e818f22 Using preg_replace instead of str_replace to substitute all non-digit characters 6 months ago
  pezcurrel b147447b69 A workaround to php 7.3 echoing floats with “,” instead of “.” as a decimal separator; first commit 6 months ago