1 files changed, 2 insertions, 4 deletions
diff --git a/cli/_cli.php b/cli/_cli.php
index 9d9d9c32d..9486405aa 100755
--- a/cli/_cli.php
+++ b/cli/_cli.php
@@ -20,8 +20,7 @@ Minz_Translate::init('en');
 
 FreshRSS_Context::$isCli = true;
 
-/** @return never */
-function fail(string $message, int $exitCode = 1) {
+function fail(string $message, int $exitCode = 1): never {
 	fwrite(STDERR, $message . "\n");
 	die($exitCode);
 }
@@ -51,8 +50,7 @@ function accessRights(): void {
 		"\t", 'sudo cli/access-permissions.sh', "\n";
 }
 
-/** @return never */
-function done(bool $ok = true) {
+function done(bool $ok = true): never {
 	if (!$ok) {
 		fwrite(STDERR, (empty($_SERVER['argv'][0]) ? 'Process' : basename($_SERVER['argv'][0])) . ' failed!' . "\n");
 	}