diff options
| author | 2024-12-27 12:12:49 +0100 | |
|---|---|---|
| committer | 2024-12-27 12:12:49 +0100 | |
| commit | b1d24fbdb7d1cc948c946295035dad6df550fb7e (patch) | |
| tree | 7b4365a04097a779659474fbb9281a9661512522 /app/Models/ViewStats.php | |
| parent | 897e4a3f4a273d50c28157edb67612b2d7fa2e6f (diff) | |
PHPStan 2.0 (#7131)
* PHPStan 2.0
fix https://github.com/FreshRSS/FreshRSS/issues/6989
https://github.com/phpstan/phpstan/releases/tag/2.0.0
https://github.com/phpstan/phpstan/blob/2.0.x/UPGRADING.md
* More
* More
* Done
* fix i18n CLI
* Restore a PHPStan Next test
For work towards PHPStan Level 10
* 4 more on Level 10
* fix getTagsForEntry
* API at Level 10
* More Level 10
* Finish Minz at Level 10
* Finish CLI at Level 10
* Finish Controllers at Level 10
* More Level 10
* More
* Pass bleedingEdge
* Clean PHPStan options and add TODOs
* Level 10 for main config
* More
* Consitency array vs. list
* Sanitize themes get_infos
* Simplify TagDAO->getTagsForEntries()
* Finish reportAnyTypeWideningInVarTag
* Prepare checkBenevolentUnionTypes and checkImplicitMixed
* Fixes
* Refix
* Another fix
* Casing of __METHOD__ constant
Diffstat (limited to 'app/Models/ViewStats.php')
| -rw-r--r-- | app/Models/ViewStats.php | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/app/Models/ViewStats.php b/app/Models/ViewStats.php index 3810312db..e8e0a37bc 100644 --- a/app/Models/ViewStats.php +++ b/app/Models/ViewStats.php @@ -3,10 +3,10 @@ declare(strict_types=1); final class FreshRSS_ViewStats extends FreshRSS_View { - /** @var array<int,FreshRSS_Category> */ + /** @var list<FreshRSS_Category> */ public array $categories; public ?FreshRSS_Feed $feed = null; - /** @var array<int,FreshRSS_Feed> */ + /** @var list<FreshRSS_Feed> */ public array $feeds; public bool $displaySlider = false; @@ -14,7 +14,7 @@ final class FreshRSS_ViewStats extends FreshRSS_View { public float $averageDayOfWeek; public float $averageHour; public float $averageMonth; - /** @var array<string> */ + /** @var list<string> */ public array $days; /** @var array<string,array<int,int|string>> */ public array $entryByCategory; @@ -30,11 +30,11 @@ final class FreshRSS_ViewStats extends FreshRSS_View { public array $last30DaysLabel; /** @var array<int,string> */ public array $last30DaysLabels; - /** @var array<string,string> */ + /** @var list<string> */ public array $months; - /** @var array{'total':int,'count_unreads':int,'count_reads':int,'count_favorites':int}|false */ + /** @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} */ + /** @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 array $repartitions; /** @var array<int,int> */ public array $repartitionDayOfWeek; @@ -42,6 +42,6 @@ final class FreshRSS_ViewStats extends FreshRSS_View { public array $repartitionHour; /** @var array<int,int> */ public array $repartitionMonth; - /** @var array<array{'id':int,'name':string,'category':string,'count':int}> */ + /** @var list<array{id:int,name:string,category:string,count:int}> */ public array $topFeed; } |
