diff options
| author | 2023-05-13 22:47:51 +0200 | |
|---|---|---|
| committer | 2023-05-13 22:47:51 +0200 | |
| commit | d8c535c25c2330f9c2b7ee19d74b6d2b4a3bf4b6 (patch) | |
| tree | 45b3ad4f13f051f0061ade5f1d4d3dc90ae7e045 /app/Models/View.php | |
| parent | 68766a98574d98be358199924222f26d8ac36561 (diff) | |
PHPStan Level 7 for Share userController logs_pagination (#5393)
Diffstat (limited to 'app/Models/View.php')
| -rw-r--r-- | app/Models/View.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/app/Models/View.php b/app/Models/View.php index cfa06da62..ca237971f 100644 --- a/app/Models/View.php +++ b/app/Models/View.php @@ -49,7 +49,7 @@ class FreshRSS_View extends Minz_View { public $signalError; // Manage users - /** @var array{'feed_count':int|false,'article_count':int|false,'database_size':int,'language':string,'mail_login':string,'enabled':bool,'is_admin':bool,'last_user_activity':string,'is_default':bool} */ + /** @var array{'feed_count':int,'article_count':int,'database_size':int,'language':string,'mail_login':string,'enabled':bool,'is_admin':bool,'last_user_activity':string,'is_default':bool} */ public $details; /** @var bool */ public $disable_aside; @@ -57,7 +57,7 @@ class FreshRSS_View extends Minz_View { public $show_email_field; /** @var string */ public $username; - /** @var array<array{'last_user_activity':int,'language':string,'enabled':bool,'is_admin':bool,'enabled':bool,'article_count':int,'database_size':int,'last_user_activity','mail_login':string,'feed_count':int,'is_default':bool}> */ + /** @var array<array{'language':string,'enabled':bool,'is_admin':bool,'enabled':bool,'article_count':int,'database_size':int,'last_user_activity':string,'mail_login':string,'feed_count':int,'is_default':bool}> */ public $users; // Updates |
