aboutsummaryrefslogtreecommitdiff
path: root/app/Models/View.php
diff options
context:
space:
mode:
Diffstat (limited to 'app/Models/View.php')
-rw-r--r--app/Models/View.php18
1 files changed, 9 insertions, 9 deletions
diff --git a/app/Models/View.php b/app/Models/View.php
index 4ce837922..aad512a39 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<int,FreshRSS_Category> */
+ /** @var list<FreshRSS_Category> */
public array $categories;
public ?FreshRSS_Category $category = null;
public ?FreshRSS_Tag $tag = null;
@@ -19,12 +19,12 @@ class FreshRSS_View extends Minz_View {
public $entries;
public ?FreshRSS_Entry $entry = null;
public ?FreshRSS_Feed $feed = null;
- /** @var array<int,FreshRSS_Feed> */
+ /** @var list<FreshRSS_Feed> */
public array $feeds;
public int $nbUnreadTags;
- /** @var array<int,FreshRSS_Tag> */
+ /** @var list<FreshRSS_Tag> */
public array $tags;
- /** @var array<int,array{'id':int,'name':string,'id_entry':string,'checked':bool}> */
+ /** @var array<int,array{id:int,name:string,checked:bool}> */
public array $tagsForEntry;
/** @var array<string,array<string>> */
public array $tagsForEntries;
@@ -37,12 +37,12 @@ class FreshRSS_View extends Minz_View {
public bool $signalError;
// Manage users
- /** @var array{'feed_count':int,'article_count':int,'database_size':int,'language':string,'mail_login':string,'enabled':bool,'is_admin':bool,'last_user_activity':string,'is_default':bool} */
+ /** @var array{feed_count:int,article_count:int,database_size:int,language:string,mail_login:string,enabled:bool,is_admin:bool,last_user_activity:string,is_default:bool} */
public array $details;
public bool $disable_aside;
public bool $show_email_field;
public string $username;
- /** @var array<array{'language':string,'enabled':bool,'is_admin':bool,'enabled':bool,'article_count':int,'database_size':int,'last_user_activity':string,'mail_login':string,'feed_count':int,'is_default':bool}> */
+ /** @var array<array{language:string,enabled:bool,is_admin:bool,enabled:bool,article_count:int,database_size:int,last_user_activity:string,mail_login:string,feed_count:int,is_default:bool}> */
public array $users;
// Updates
@@ -62,7 +62,7 @@ class FreshRSS_View extends Minz_View {
public int $size_user;
// Display
- /** @var array<string,array{'id':string,'name':string,'author':string,'description':string,'version':float|string,'files':array<string>,'theme-color'?:string|array{'dark'?:string,'light'?:string,'default'?:string}}> */
+ /** @var array<string,array{id:string,name:string,author:string,description:string,version:float|string,files:array<string>,theme-color?:string|array{dark?:string,light?:string,default?:string}}> */
public array $themes;
// Shortcuts
@@ -118,10 +118,10 @@ class FreshRSS_View extends Minz_View {
public bool $selectorSuccess;
// Extensions
- /** @var array<array{'name':string,'author':string,'description':string,'version':string,'entrypoint':string,'type':'system'|'user','url':string,'method':string,'directory':string}> */
+ /** @var array<array{name:string,author:string,description:string,version:string,entrypoint:string,type:'system'|'user',url:string,method:string,directory:string}> */
public array $available_extensions;
public ?Minz_Extension $ext_details = null;
- /** @var array{'system':array<Minz_Extension>,'user':array<Minz_Extension>} */
+ /** @var array{system:array<Minz_Extension>,user:array<Minz_Extension>} */
public array $extension_list;
public ?Minz_Extension $extension = null;
/** @var array<string,string> */