diff options
Diffstat (limited to 'lib/lib_rss.php')
| -rw-r--r-- | lib/lib_rss.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/lib_rss.php b/lib/lib_rss.php index 7a65a0433..0ab49e25e 100644 --- a/lib/lib_rss.php +++ b/lib/lib_rss.php @@ -171,7 +171,7 @@ function escapeToUnicodeAlternative(string $text, bool $extended = true): string function format_number($n, int $precision = 0): string { // number_format does not seem to be Unicode-compatible return str_replace(' ', ' ', // Thin non-breaking space - number_format($n, $precision, '.', ' ') + number_format((float)$n, $precision, '.', ' ') ); } |
