diff options
Diffstat (limited to 'app/Models/View.php')
| -rw-r--r-- | app/Models/View.php | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/app/Models/View.php b/app/Models/View.php index 4dd0be36a..2595cd1fa 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 array<FreshRSS_Category> */ + /** @var array<int,FreshRSS_Category> */ public array $categories; public ?FreshRSS_Category $category; public ?FreshRSS_Tag $tag; @@ -18,11 +18,11 @@ class FreshRSS_View extends Minz_View { /** @var iterable<FreshRSS_Entry> */ public $entries; public FreshRSS_Entry $entry; - public ?FreshRSS_Feed $feed; - /** @var array<FreshRSS_Feed> */ + public FreshRSS_Feed $feed; + /** @var array<int,FreshRSS_Feed> */ public array $feeds; public int $nbUnreadTags; - /** @var array<FreshRSS_Tag> */ + /** @var array<int,FreshRSS_Tag> */ public array $tags; /** @var array<int,array{'id':int,'name':string,'id_entry':string,'checked':bool}> */ public array $tagsForEntry; @@ -100,6 +100,8 @@ class FreshRSS_View extends Minz_View { public int $nbPage; // RSS view + public FreshRSS_UserQuery $userQuery; + public string $html_url = ''; public string $rss_title = ''; public string $rss_url = ''; public string $rss_base = ''; |