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/PdoMysql.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/PdoMysql.php')
| -rw-r--r-- | lib/Minz/PdoMysql.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Minz/PdoMysql.php b/lib/Minz/PdoMysql.php index ee411d949..df17a2f52 100644 --- a/lib/Minz/PdoMysql.php +++ b/lib/Minz/PdoMysql.php @@ -6,7 +6,7 @@ */ class Minz_PdoMysql extends Minz_Pdo { - /** @param array<int,int|string>|null $options */ + /** @param array<int,int|string|bool>|null $options */ public function __construct(string $dsn, ?string $username = null, ?string $passwd = null, ?array $options = null) { parent::__construct($dsn, $username, $passwd, $options); $this->setAttribute(PDO::MYSQL_ATTR_USE_BUFFERED_QUERY, false); |