aboutsummaryrefslogtreecommitdiff
path: root/cli/user-info.php
diff options
context:
space:
mode:
authorGravatar Luc SANCHEZ <4697568+ColonelMoutarde@users.noreply.github.com> 2023-04-17 16:27:35 +0200
committerGravatar GitHub <noreply@github.com> 2023-04-17 16:27:35 +0200
commit8cc8127c3c8ed1b99135b21424134eabec30f150 (patch)
tree13600cd462f592de644ed8ef3dd04fc199dc1d87 /cli/user-info.php
parent62496339b6a43fcbb8267fb0f14ac2b165bf5826 (diff)
phpstan level 7 for user-info.php (#5309)
* phpstan level 7 for user-info.php * phpstan level 7 for user-info.php * phpstan level 7 for user-info.php --------- Co-authored-by: Luc <sanchezluc+freshrss@gmail.com>
Diffstat (limited to 'cli/user-info.php')
-rwxr-xr-xcli/user-info.php20
1 files changed, 18 insertions, 2 deletions
diff --git a/cli/user-info.php b/cli/user-info.php
index 8fc8f20df..6365ef6a4 100755
--- a/cli/user-info.php
+++ b/cli/user-info.php
@@ -64,6 +64,21 @@ foreach ($users as $username) {
$nbEntries = $entryDAO->countUnreadRead();
$nbFavorites = $entryDAO->countUnreadReadFavorites();
+ if ($nbFavorites === false) {
+ $nbFavorites = [
+ 'all' => 0,
+ ];
+ }
+
+ $feedList = $feedDAO->listFeedsIds();
+
+ if ($nbEntries === false) {
+ $nbEntries = [
+ 'read' => 0,
+ 'unread' => 0,
+ ];
+ }
+
$data = array(
'default' => $username === FreshRSS_Context::$system_conf->default_user ? '*' : '',
'user' => $username,
@@ -72,7 +87,7 @@ foreach ($users as $username) {
'last_user_activity' => FreshRSS_UserDAO::mtime($username),
'database_size' => $databaseDAO->size(),
'categories' => $catDAO->count(),
- 'feeds' => count($feedDAO->listFeedsIds()),
+ 'feeds' => count($feedList === false ? [] : $feedList),
'reads' => (int)$nbEntries['read'],
'unreads' => (int)$nbEntries['unread'],
'favourites' => (int)$nbFavorites['all'],
@@ -84,11 +99,12 @@ foreach ($users as $username) {
$data['last_user_activity'] = date('c', $data['last_user_activity']);
$data['database_size'] = format_bytes($data['database_size']);
}
+
if ($formatJson) {
$data['default'] = !empty($data['default']);
$data['admin'] = !empty($data['admin']);
$data['enabled'] = !empty($data['enabled']);
- $data['last_user_activity'] = gmdate('Y-m-d\TH:i:s\Z', $data['last_user_activity']);
+ $data['last_user_activity'] = gmdate('Y-m-d\TH:i:s\Z', (int)$data['last_user_activity']);
$jsonOutput[] = $data;
} else {
vprintf(DATA_FORMAT, $data);