diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2022-01-09 18:21:40 +0100 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2022-01-09 18:21:40 +0100 |
| commit | 4e2dff4591bb2062311c1d5bfcdca3ade2a76d16 (patch) | |
| tree | a876374a709f04f919b35ae8e1e53774a0aca39c /lib/lib_rss.php | |
| parent | 9dbbe924c5e54b5dbe486873a9b31a28127c8e62 (diff) | |
Add spell checking with typos (#4138)
* Add spell checking with typos
Implement https://github.com/FreshRSS/FreshRSS/pull/4134#issuecomment-1008027558
* GitHub Actions attempt
* Quiet wget
* Makefile
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 cc375f9ed..bc4b06497 100644 --- a/lib/lib_rss.php +++ b/lib/lib_rss.php @@ -160,7 +160,7 @@ function escapeToUnicodeAlternative($text, $extended = true) { function format_number($n, $precision = 0) { // number_format does not seem to be Unicode-compatible - return str_replace(' ', ' ', //Espace fine insécable + return str_replace(' ', ' ', // Thin non-breaking space number_format($n, $precision, '.', ' ') ); } |