diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2023-04-23 11:58:15 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2023-04-23 11:58:15 +0200 |
| commit | 115724622fa32e1b7981e378e87ccfb770450cb1 (patch) | |
| tree | 4d7072768076fd76f2f1877757f3e2e395ab2ded /app/Models/View.php | |
| parent | 8abe53d879ef188a5c1cc394894ce211fcfa9f92 (diff) | |
PHPStan Level 7 for ten more files (#5327)
* PHPStan Level 7 for nine more files
* Minor syntax
* One more
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 87302a4e1..c5415c58e 100644 --- a/app/Models/View.php +++ b/app/Models/View.php @@ -15,7 +15,7 @@ class FreshRSS_View extends Minz_View { public $category; /** @var string */ public $current_user; - /** @var array<FreshRSS_Entry> */ + /** @var iterable<FreshRSS_Entry> */ public $entries; /** @var FreshRSS_Entry */ public $entry; @@ -49,7 +49,7 @@ class FreshRSS_View extends Minz_View { public $signalError; // Manage users - /** @var array<string,string|int|bool> */ + /** @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} */ public $details; /** @var bool */ public $disable_aside; |