diff options
| author | 2023-05-11 13:02:04 +0200 | |
|---|---|---|
| committer | 2023-05-11 13:02:04 +0200 | |
| commit | 6e2f2f1c1e98ecd86aa89c6547beb742d7385d18 (patch) | |
| tree | 7ba9f5aebb01d12045b9067a86b5060ba13dca18 /cli/user-info.php | |
| parent | fe7d9bbcd68660a59b813346c236b61b25a51c80 (diff) | |
A few additional PHPStan rules (#5388)
A subset of
https://github.com/phpstan/phpstan-strict-rules
Diffstat (limited to 'cli/user-info.php')
| -rwxr-xr-x | cli/user-info.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cli/user-info.php b/cli/user-info.php index a320a4d19..525125758 100755 --- a/cli/user-info.php +++ b/cli/user-info.php @@ -77,7 +77,7 @@ foreach ($users as $username) { 'reads' => (int)$nbEntries['read'], 'unreads' => (int)$nbEntries['unread'], 'favourites' => (int)$nbFavorites['all'], - 'tags' => (int)$tagDAO->count(), + 'tags' => $tagDAO->count(), 'lang' => FreshRSS_Context::$user_conf->language, 'mail_login' => FreshRSS_Context::$user_conf->mail_login, ); |
