diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2023-10-30 20:47:27 +0100 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2023-10-30 20:47:27 +0100 |
| commit | 06d00995049db9c7b915f67cfd4a5708aace458f (patch) | |
| tree | 0176ca9761b34d72ffd597bd96da3c3ae4912d86 /app/Models/ViewStats.php | |
| parent | 4a02352ccc1b313ce967415c6ac10a32aba1893a (diff) | |
Require PHP 7.4+ (#5720)
* Require PHP 7.4+
https://github.com/FreshRSS/FreshRSS/discussions/5474
* Update Docker oldest
Alpine 3.13 with PHP 7.4.26
* Add missing packets to Docker oldest
* Update to typed properties
https://php.net/migration74.new-features#migration74.new-features.core.typed-properties
* More types
Diffstat (limited to 'app/Models/ViewStats.php')
| -rw-r--r-- | app/Models/ViewStats.php | 53 |
1 files changed, 23 insertions, 30 deletions
diff --git a/app/Models/ViewStats.php b/app/Models/ViewStats.php index 9025a86db..f07c19c91 100644 --- a/app/Models/ViewStats.php +++ b/app/Models/ViewStats.php @@ -4,54 +4,47 @@ declare(strict_types=1); final class FreshRSS_ViewStats extends FreshRSS_View { - /** @var FreshRSS_Category|null */ - public $default_category; + public ?FreshRSS_Category $default_category; /** @var array<FreshRSS_Category> */ - public $categories; - /** @var FreshRSS_Feed|null */ - public $feed; + public array $categories; + public ?FreshRSS_Feed $feed; /** @var array<FreshRSS_Feed> */ - public $feeds; - /** @var bool */ - public $displaySlider; + public array $feeds; + public bool $displaySlider = false; - /** @var float */ - public $average; - /** @var float */ - public $averageDayOfWeek; - /** @var float */ - public $averageHour; - /** @var float */ - public $averageMonth; + public float $average; + public float $averageDayOfWeek; + public float $averageHour; + public float $averageMonth; /** @var array<string> */ - public $days; + public array $days; /** @var array<string,array<int,int|string>> */ - public $entryByCategory; + public array $entryByCategory; /** @var array<int,int> */ - public $entryCount; + public array $entryCount; /** @var array<string,array<int,int|string>> */ - public $feedByCategory; + public array $feedByCategory; /** @var array<int, string> */ - public $hours24Labels; + public array $hours24Labels; /** @var array<string,array<int,array<string,int|string>>> */ - public $idleFeeds; + public array $idleFeeds; /** @var array<int,string> */ - public $last30DaysLabel; + public array $last30DaysLabel; /** @var array<int,string> */ - public $last30DaysLabels; + public array $last30DaysLabels; /** @var array<string,string> */ - public $months; + 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 $repartitions; + public array $repartitions; /** @var array<int,int> */ - public $repartitionDayOfWeek; + public array $repartitionDayOfWeek; /** @var array<string,int>|array<int,int> */ - public $repartitionHour; + public array $repartitionHour; /** @var array<int,int> */ - public $repartitionMonth; + public array $repartitionMonth; /** @var array<array{'id':int,'name':string,'category':string,'count':int}> */ - public $topFeed; + public array $topFeed; } |