summaryrefslogtreecommitdiff
path: root/app/Models/UserConfiguration.php
diff options
context:
space:
mode:
authorGravatar Alexandre Alapetite <alexandre@alapetite.fr> 2023-04-20 09:14:58 +0200
committerGravatar GitHub <noreply@github.com> 2023-04-20 09:14:58 +0200
commit2208974c00d33cea59fc01c2c5b361765457822f (patch)
treeb9a588a941b3fb24fc9ae88027d1443fd44e6a5c /app/Models/UserConfiguration.php
parent273b36c54c7bc2b9cf7e6e135bb75528c7c6a08c (diff)
PHPStan Level 7 for FreshRSS_UserQuery (#5319)
Follow-up of https://github.com/FreshRSS/FreshRSS/pull/5318
Diffstat (limited to 'app/Models/UserConfiguration.php')
-rw-r--r--app/Models/UserConfiguration.php2
1 files changed, 1 insertions, 1 deletions
diff --git a/app/Models/UserConfiguration.php b/app/Models/UserConfiguration.php
index 173ab78b9..30095af34 100644
--- a/app/Models/UserConfiguration.php
+++ b/app/Models/UserConfiguration.php
@@ -39,7 +39,7 @@
* @property bool $onread_jump_next
* @property string $passwordHash
* @property int $posts_per_page
- * @property array<array<string,string|int>> $queries
+ * @property array<array{'get'?:string,'name'?:string,'order'?:string,'search'?:string,'state'?:int,'url'?:string}> $queries
* @property bool $reading_confirm
* @property int $since_hours_posts_per_rss
* @property bool $show_fav_unread