Files
FreshRSS/app/Models/ViewStats.php
Alexandre Alapetite b1d24fbdb7 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
2024-12-27 12:12:49 +01:00

48 lines
1.6 KiB
PHP

<?php
declare(strict_types=1);
final class FreshRSS_ViewStats extends FreshRSS_View {
/** @var list<FreshRSS_Category> */
public array $categories;
public ?FreshRSS_Feed $feed = null;
/** @var list<FreshRSS_Feed> */
public array $feeds;
public bool $displaySlider = false;
public float $average;
public float $averageDayOfWeek;
public float $averageHour;
public float $averageMonth;
/** @var list<string> */
public array $days;
/** @var array<string,array<int,int|string>> */
public array $entryByCategory;
/** @var array<int,int> */
public array $entryCount;
/** @var array<string,array<int,int|string>> */
public array $feedByCategory;
/** @var array<int, string> */
public array $hours24Labels;
/** @var array<string,array<int,array<string,int|string>>> */
public array $idleFeeds;
/** @var array<int,string> */
public array $last30DaysLabel;
/** @var array<int,string> */
public array $last30DaysLabels;
/** @var list<string> */
public array $months;
/** @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 array $repartitions;
/** @var array<int,int> */
public array $repartitionDayOfWeek;
/** @var array<string,int>|array<int,int> */
public array $repartitionHour;
/** @var array<int,int> */
public array $repartitionMonth;
/** @var list<array{id:int,name:string,category:string,count:int}> */
public array $topFeed;
}