diff options
| author | 2023-04-20 09:14:58 +0200 | |
|---|---|---|
| committer | 2023-04-20 09:14:58 +0200 | |
| commit | 2208974c00d33cea59fc01c2c5b361765457822f (patch) | |
| tree | b9a588a941b3fb24fc9ae88027d1443fd44e6a5c /app/Models/UserConfiguration.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/UserConfiguration.php')
| -rw-r--r-- | app/Models/UserConfiguration.php | 2 |
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 |
