diff options
| author | 2023-03-31 08:23:39 +0200 | |
|---|---|---|
| committer | 2023-03-31 08:23:39 +0200 | |
| commit | 288ed04ccc30b58373576dc3be811aee43e67034 (patch) | |
| tree | 27f4c571e04d64c97737416dfa2b8d65f481dfd8 /app/Exceptions/ZipException.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 'app/Exceptions/ZipException.php')
| -rw-r--r-- | app/Exceptions/ZipException.php | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/app/Exceptions/ZipException.php b/app/Exceptions/ZipException.php index 9ed40c4cb..ecf546533 100644 --- a/app/Exceptions/ZipException.php +++ b/app/Exceptions/ZipException.php @@ -1,14 +1,16 @@ <?php class FreshRSS_Zip_Exception extends Exception { + + /** @var int */ private $zipErrorCode = 0; - public function __construct($zipErrorCode) { + public function __construct(int $zipErrorCode) { parent::__construct('ZIP error!', 2141); $this->zipErrorCode = $zipErrorCode; } - public function zipErrorCode() { + public function zipErrorCode(): int { return $this->zipErrorCode; } } |
