diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2022-01-08 21:58:55 +0100 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2022-01-08 21:58:55 +0100 |
| commit | 1acd3ab09be1b65bfd6122ee351490c3b5527bb8 (patch) | |
| tree | f11de558e7a09522a45d1c155d9707ecda6bf1eb /app/actualize_script.php | |
| parent | 916df412f5b6f7fb9bcfb705a3c8c23e35304410 (diff) | |
Use typographic quotes (#4133)
* Use typographic quotes
* A few fixes
* Fix
* Fix not saved
* Implement feedback
* Detail
* Revert spoken English fixes
Left for a future dedicated discussion
* More reverts
* Final reverts
* Final minor
Diffstat (limited to 'app/actualize_script.php')
| -rwxr-xr-x | app/actualize_script.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/app/actualize_script.php b/app/actualize_script.php index e3ee5a5e5..08f897a6c 100755 --- a/app/actualize_script.php +++ b/app/actualize_script.php @@ -78,7 +78,7 @@ foreach ($users as $user) { Minz_ExtensionManager::callHook('freshrss_user_maintenance'); $app->init(); - notice('FreshRSS actualize ' . $user . '...'); + notice('FreshRSS actualize ' . $user . '…'); echo $user, ' '; //Buffered $app->run(); |