From b65ea979010eb488cc9c1fb1d0f082e868c191d5 Mon Sep 17 00:00:00 2001 From: Alexandre Alapetite Date: Sat, 18 Nov 2023 23:21:20 +0100 Subject: Fix PHP 7 compatibility strict_types (#5893) * Fix PHP 7 compatibility https://github.com/FreshRSS/FreshRSS/discussions/5892 * Multiple PHP 7 fixes * PHPStan --- lib/lib_rss.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/lib_rss.php') 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, '.', ' ') ); } -- cgit v1.2.3