diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2023-04-28 14:01:11 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2023-04-28 14:01:11 +0200 |
| commit | c72914bba2363e436574204b3d6093a6f3cfce89 (patch) | |
| tree | 377008a7393e4d80e4c8659f27dd42c0ccbab382 /app/Models/View.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 'app/Models/View.php')
| -rw-r--r-- | app/Models/View.php | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/app/Models/View.php b/app/Models/View.php index c5415c58e..3c56afa0e 100644 --- a/app/Models/View.php +++ b/app/Models/View.php @@ -201,15 +201,17 @@ class FreshRSS_View extends Minz_View { public $last30DaysLabels; /** @var array<string,string> */ public $months; - /** @var array<string,array<string,int>>|array<string,int> */ + /** @var array{'total':int,'count_unreads':int,'count_reads':int,'count_favorites':int}|false */ public $repartition; + /** @var array{'main_stream':array{'total':int,'count_unreads':int,'count_reads':int,'count_favorites':int}|false,'all_feeds':array{'total':int,'count_unreads':int,'count_reads':int,'count_favorites':int}|false} */ + public $repartitions; /** @var array<int,int> */ public $repartitionDayOfWeek; /** @var array<string,int>|array<int,int> */ public $repartitionHour; /** @var array<int,int> */ public $repartitionMonth; - /** @var array<array<string,int|string>> */ + /** @var array<array{'id':int,'name':string,'category':string,'count':int}> */ public $topFeed; } |