diff options
author | wn_ <[email protected]> | 2021-11-01 20:38:26 +0000 |
---|---|---|
committer | wn_ <[email protected]> | 2021-11-01 21:10:27 +0000 |
commit | 57436ee0c184c5fa362c66f8383a8a3b29f171cf (patch) | |
tree | 42b5748e6fc518a48adf52ec97a2f084acbfd036 | |
parent | 3cc60a02192eaf0f81065a40d5d781b60f371d15 (diff) |
Address PHPStan warning in 'update.php'.
------ --------------------------------------
Line update.php
------ --------------------------------------
213 While loop condition is always true.
------ --------------------------------------
-rwxr-xr-x | update.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/update.php b/update.php index 2ad4c963c..b10dde400 100755 --- a/update.php +++ b/update.php @@ -210,6 +210,7 @@ } if (isset($options["daemon"])) { + // @phpstan-ignore-next-line while (true) { $quiet = (isset($options["quiet"])) ? "--quiet" : ""; $log = isset($options['log']) ? '--log '.$options['log'] : ''; |