diff options
| author | 2023-03-31 08:23:39 +0200 | |
|---|---|---|
| committer | 2023-03-31 08:23:39 +0200 | |
| commit | 288ed04ccc30b58373576dc3be811aee43e67034 (patch) | |
| tree | 27f4c571e04d64c97737416dfa2b8d65f481dfd8 /lib/Minz/Exception.php | |
| parent | c9d5fe2da12cbc3a071ebf9a518afe2789bb3d61 (diff) | |
PHPStan level 6 for all PDO and Exception classes (#5239)
* PHPStan level 6 for all PDO and Exception classes
Contributes to https://github.com/FreshRSS/FreshRSS/issues/4112
* Fix type
* Now also our remaining own librairies
* Motivation for a few more files
* A few more DAO classes
* Last interface
Diffstat (limited to 'lib/Minz/Exception.php')
| -rw-r--r-- | lib/Minz/Exception.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Minz/Exception.php b/lib/Minz/Exception.php index b5e71e0d8..f2d3b876b 100644 --- a/lib/Minz/Exception.php +++ b/lib/Minz/Exception.php @@ -4,7 +4,7 @@ class Minz_Exception extends Exception { const WARNING = 10; const NOTICE = 20; - public function __construct ($message, $code = self::ERROR) { + public function __construct(string $message, int $code = self::ERROR) { if ($code != Minz_Exception::ERROR && $code != Minz_Exception::WARNING && $code != Minz_Exception::NOTICE) { |
