Rather than the straight up str_replace() I would go for number_format() as it handles locales.
See this for it in action: https://reviews.mahara.org/c/mahara/+/12478/6/htdocs/webservice/lib.php#b1489
Rather than the straight up str_replace() I would go for number_format() as it handles locales.
See this for it in action: /reviews. mahara. org/c/mahara/ +/12478/ 6/htdocs/ webservice/ lib.php# b1489
https:/