diff options
| author | 2014-10-30 19:34:36 +0100 | |
|---|---|---|
| committer | 2014-10-30 19:34:36 +0100 | |
| commit | ba832bef4de4a02df46023b389f752b01d43c98b (patch) | |
| tree | 3d2763e3790c98fc734485adcb0ca985eea63b26 | |
| parent | 036240ab01999c8eff1b9b3a98a7313cf43f5836 (diff) | |
Fix TODO in format_number()
| -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 317c6852f..e7ca95aba 100644 --- a/lib/lib_rss.php +++ b/lib/lib_rss.php @@ -58,7 +58,7 @@ function checkUrl($url) { function format_number($n, $precision = 0) { // number_format does not seem to be Unicode-compatible - return str_replace(' ', ' ', //Espace insécable //TODO: remplacer par une espace _fine_ insécable + return str_replace(' ', ' ', //Espace fine insécable number_format($n, $precision, '.', ' ') ); } |
