diff options
| author | wn_ <invalid@email.com> | 2024-11-12 03:38:45 +0000 |
|---|---|---|
| committer | wn_ <invalid@email.com> | 2024-11-12 03:38:45 +0000 |
| commit | dca2ae60a1c7a7951ee769aefeb19c4576c57aa6 (patch) | |
| tree | 613b5affdfa45bf9fa540d40cf88ddff9fb9bb54 /update.php | |
| parent | a784305cc764a7e039ad87074f541db68a653a5a (diff) | |
Remove some PHPStan ignores and make others rule-specific.
Diffstat (limited to 'update.php')
| -rwxr-xr-x | update.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/update.php b/update.php index c8fe69fdb..c7f274419 100755 --- a/update.php +++ b/update.php @@ -215,7 +215,7 @@ } if (isset($options["daemon"])) { - // @phpstan-ignore-next-line + // @phpstan-ignore while.alwaysTrue (single process daemon will always run) while (true) { $quiet = (isset($options["quiet"])) ? "--quiet" : ""; $log = isset($options['log']) ? '--log '.$options['log'] : ''; |