diff options
| author | 2024-12-28 23:58:00 +0100 | |
|---|---|---|
| committer | 2024-12-28 23:58:00 +0100 | |
| commit | c29cbb7b8be95fee249ed1a21dce98a4772d92e2 (patch) | |
| tree | b116f6033ea081c6cc5f82ce83156f2a7021166c /app/Models/View.php | |
| parent | 33cdfbb309c61167cf1c81273eb242f94ca8f996 (diff) | |
Fix regressions on some array structures (#7155)
regressions from https://github.com/FreshRSS/FreshRSS/pull/7131
fix https://github.com/FreshRSS/FreshRSS/issues/7154
Diffstat (limited to 'app/Models/View.php')
| -rw-r--r-- | app/Models/View.php | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/app/Models/View.php b/app/Models/View.php index aad512a39..943c50055 100644 --- a/app/Models/View.php +++ b/app/Models/View.php @@ -10,7 +10,7 @@ class FreshRSS_View extends Minz_View { public $callbackBeforeFeeds; /** @var callable */ public $callbackBeforePagination; - /** @var list<FreshRSS_Category> */ + /** @var array<int,FreshRSS_Category> where the key is the category ID */ public array $categories; public ?FreshRSS_Category $category = null; public ?FreshRSS_Tag $tag = null; @@ -19,10 +19,10 @@ class FreshRSS_View extends Minz_View { public $entries; public ?FreshRSS_Entry $entry = null; public ?FreshRSS_Feed $feed = null; - /** @var list<FreshRSS_Feed> */ + /** @var array<int,FreshRSS_Feed> where the key is the feed ID */ public array $feeds; public int $nbUnreadTags; - /** @var list<FreshRSS_Tag> */ + /** @var array<int,FreshRSS_Tag> where the key is the label ID */ public array $tags; /** @var array<int,array{id:int,name:string,checked:bool}> */ public array $tagsForEntry; @@ -70,7 +70,7 @@ class FreshRSS_View extends Minz_View { public array $list_keys; // User queries - /** @var array<int,FreshRSS_UserQuery> */ + /** @var array<int,FreshRSS_UserQuery> where the key is the query ID */ public array $queries; /** @var FreshRSS_UserQuery|null */ public ?FreshRSS_UserQuery $query = null; |
