diff options
| author | 2023-04-28 14:01:11 +0200 | |
|---|---|---|
| committer | 2023-04-28 14:01:11 +0200 | |
| commit | c72914bba2363e436574204b3d6093a6f3cfce89 (patch) | |
| tree | 377008a7393e4d80e4c8659f27dd42c0ccbab382 /cli/user-info.php | |
| parent | 26e2a703125ffe1d0d2746b0e5ea3491b627832c (diff) | |
PHPStan Level 7 for more DAO PDO (#5328)
* PHPStan Level 7 for more DAO PDO
With new function to address common type and check problems
* A bit more
* PHPStan Level 7 for FreshRSS_Entry
Diffstat (limited to 'cli/user-info.php')
| -rwxr-xr-x | cli/user-info.php | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/cli/user-info.php b/cli/user-info.php index 6365ef6a4..d8b498cc3 100755 --- a/cli/user-info.php +++ b/cli/user-info.php @@ -66,7 +66,7 @@ foreach ($users as $username) { if ($nbFavorites === false) { $nbFavorites = [ - 'all' => 0, + 'all' => -1, ]; } @@ -74,8 +74,8 @@ foreach ($users as $username) { if ($nbEntries === false) { $nbEntries = [ - 'read' => 0, - 'unread' => 0, + 'read' => -1, + 'unread' => -1, ]; } |
