MastodonHelp/web/lib/realfloat.php

<?php
function rf($num) {
	return preg_replace('#\D#u','.',$num);
}
?>
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			`<?php`
			`function rf($num) {`
Using preg_replace instead of str_replace to substitute all non-digit characters 2023-12-29 10:00:12 +01:00			`return preg_replace('#\D#u','.',$num);`
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			`}`
			`?>`