diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2024-09-06 09:06:46 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2024-09-06 09:06:46 +0200 |
| commit | a81656c3ed5b8fe0f31794a4fbe0d1a907fca8e8 (patch) | |
| tree | 8bf49bd876aaebc985a9fb1214863190a799cbee /cli/_cli.php | |
| parent | 8f7c3473a76809efc88814253722c76f0cc8eb04 (diff) | |
Upgrade to PHP 8.1 (#6711)
* Upgrade to PHP 8.1
As discussed in https://github.com/FreshRSS/FreshRSS/discussions/5474
https://www.php.net/releases/8.0/en.php
https://www.php.net/releases/8.1/en.php
Upgrade to available native type declarations
https://php.net/language.types.declarations
Upgrade to https://phpunit.de/announcements/phpunit-10.html which requires PHP 8.1+ (good timing, as version 9 was not maintained anymore)
Upgrade `:oldest` Docker dev image to oldest Alpine version supporting PHP 8.1: Alpine 3.16, which includes PHP 8.1.22.
* Include 6736
https://github.com/FreshRSS/FreshRSS/pull/6736
Diffstat (limited to 'cli/_cli.php')
| -rwxr-xr-x | cli/_cli.php | 6 |
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"); } |