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/BadUrlException.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/BadUrlException.php')
| -rw-r--r-- | app/Exceptions/BadUrlException.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/app/Exceptions/BadUrlException.php b/app/Exceptions/BadUrlException.php index d2509e4ba..748a619d6 100644 --- a/app/Exceptions/BadUrlException.php +++ b/app/Exceptions/BadUrlException.php @@ -2,7 +2,7 @@ class FreshRSS_BadUrl_Exception extends FreshRSS_Feed_Exception { - public function __construct($url) { + public function __construct(string $url) { parent::__construct('`' . $url . '` is not a valid URL'); } |
