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/CurrentPagePaginationException.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/CurrentPagePaginationException.php')
| -rw-r--r-- | lib/Minz/CurrentPagePaginationException.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Minz/CurrentPagePaginationException.php b/lib/Minz/CurrentPagePaginationException.php index 3e3d9d1b4..973913afb 100644 --- a/lib/Minz/CurrentPagePaginationException.php +++ b/lib/Minz/CurrentPagePaginationException.php @@ -1,6 +1,6 @@ <?php class Minz_CurrentPagePaginationException extends Minz_Exception { - public function __construct ($page) { + public function __construct(int $page) { $message = 'Page number `' . $page . '` doesn\'t exist'; parent::__construct ($message, self::ERROR); |
