diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2023-04-20 09:14:58 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2023-04-20 09:14:58 +0200 |
| commit | 2208974c00d33cea59fc01c2c5b361765457822f (patch) | |
| tree | b9a588a941b3fb24fc9ae88027d1443fd44e6a5c /app/Models/UserQuery.php | |
| parent | 273b36c54c7bc2b9cf7e6e135bb75528c7c6a08c (diff) | |
PHPStan Level 7 for FreshRSS_UserQuery (#5319)
Follow-up of https://github.com/FreshRSS/FreshRSS/pull/5318
Diffstat (limited to 'app/Models/UserQuery.php')
| -rw-r--r-- | app/Models/UserQuery.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/app/Models/UserQuery.php b/app/Models/UserQuery.php index f0d809378..f2301ff26 100644 --- a/app/Models/UserQuery.php +++ b/app/Models/UserQuery.php @@ -34,7 +34,7 @@ class FreshRSS_UserQuery { private $tag_dao; /** - * @param array<string,string|int> $query + * @param array{'get'?:string,'name'?:string,'order'?:string,'search'?:string,'state'?:int,'url'?:string} $query */ public function __construct(array $query, FreshRSS_FeedDAO $feed_dao = null, FreshRSS_CategoryDAO $category_dao = null, FreshRSS_TagDAO $tag_dao = null) { $this->category_dao = $category_dao; @@ -70,7 +70,7 @@ class FreshRSS_UserQuery { /** * Convert the current object to an array. * - * @return array<string,string|int> + * @return array{'get'?:string,'name'?:string,'order'?:string,'search'?:string,'state'?:int,'url'?:string} */ public function toArray(): array { return array_filter(array( |