From c72914bba2363e436574204b3d6093a6f3cfce89 Mon Sep 17 00:00:00 2001
From: Alexandre Alapetite <alexandre@alapetite.fr>
Date: Fri, 28 Apr 2023 14:01:11 +0200
Subject: 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
---
 app/Models/View.php | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'app/Models/View.php')

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;
 
 }
-- 
cgit v1.2.3