diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2023-04-28 14:01:11 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2023-04-28 14:01:11 +0200 |
| commit | c72914bba2363e436574204b3d6093a6f3cfce89 (patch) | |
| tree | 377008a7393e4d80e4c8659f27dd42c0ccbab382 /lib/Minz/Configuration.php | |
| parent | 26e2a703125ffe1d0d2746b0e5ea3491b627832c (diff) | |
PHPStan Level 7 for more DAO PDO (#5328)
* PHPStan Level 7 for more DAO PDO
With new function to address common type and check problems
* A bit more
* PHPStan Level 7 for FreshRSS_Entry
Diffstat (limited to 'lib/Minz/Configuration.php')
| -rw-r--r-- | lib/Minz/Configuration.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Minz/Configuration.php b/lib/Minz/Configuration.php index d641d8994..4ed0233f4 100644 --- a/lib/Minz/Configuration.php +++ b/lib/Minz/Configuration.php @@ -3,8 +3,8 @@ /** * Manage configuration for the application. * @property-read string $base_url - * @property array{'type'?:string,'host'?:string,'user'?:string,'password'?:string,'base'?:string,'prefix'?:string, - * 'connection_uri_params'?:string,'pdo_options'?:array<string|int,string|int|bool>} $db + * @property array{'type':string,'host':string,'user':string,'password':string,'base':string,'prefix':string, + * 'connection_uri_params':string,'pdo_options':array<int,int|string|bool>} $db * @property-read string $disable_update * @property-read string $environment * @property array<string,bool> $extensions_enabled |