diff options
| author | 2023-04-20 09:14:58 +0200 | |
|---|---|---|
| committer | 2023-04-20 09:14:58 +0200 | |
| commit | 2208974c00d33cea59fc01c2c5b361765457822f (patch) | |
| tree | b9a588a941b3fb24fc9ae88027d1443fd44e6a5c /app/Controllers/configureController.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/Controllers/configureController.php')
| -rw-r--r-- | app/Controllers/configureController.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/app/Controllers/configureController.php b/app/Controllers/configureController.php index 76675f545..7611d93b2 100644 --- a/app/Controllers/configureController.php +++ b/app/Controllers/configureController.php @@ -294,7 +294,7 @@ class FreshRSS_configure_Controller extends FreshRSS_ActionController { $tag_dao = FreshRSS_Factory::createTagDao(); if (Minz_Request::isPost()) { - /** @var array<int,array<string,string>> $params */ + /** @var array<int,array{'get'?:string,'name'?:string,'order'?:string,'search'?:string,'state'?:int,'url'?:string}> $params */ $params = Minz_Request::paramArray('queries'); $queries = []; |
