diff options
| author | 2023-05-15 19:26:48 +0200 | |
|---|---|---|
| committer | 2023-05-15 19:26:48 +0200 | |
| commit | 2038d50110468d95ff978ba2e8f997175f25ff3b (patch) | |
| tree | a9bc4bc364fe0c9b452702f3324a2091229e5fce /lib/Minz/Url.php | |
| parent | c8d2ead7635e58a5c78d95a9b9a1a74e99a1bcef (diff) | |
PHPStan Level 7 for Minz_Request, FreshRSS_Feed, Minz_Error (#5400)
* PHPStan Level 7 for Minz_Request
* PHPStan Level 7 for FreshRSS_Feed
* PHPStan Level 7 for Minz_Error
Diffstat (limited to 'lib/Minz/Url.php')
| -rw-r--r-- | lib/Minz/Url.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Minz/Url.php b/lib/Minz/Url.php index 809f2c39d..70414f17a 100644 --- a/lib/Minz/Url.php +++ b/lib/Minz/Url.php @@ -119,7 +119,7 @@ class Minz_Url { ]; } - /** @param array<string,string|array<string,string>>|null $url */ + /** @param array{'c'?:string,'a'?:string,'params'?:array<string,mixed>} $url */ public static function serialize(?array $url = []): string { if (empty($url)) { return ''; |
