diff options
| author | 2023-10-30 20:47:27 +0100 | |
|---|---|---|
| committer | 2023-10-30 20:47:27 +0100 | |
| commit | 06d00995049db9c7b915f67cfd4a5708aace458f (patch) | |
| tree | 0176ca9761b34d72ffd597bd96da3c3ae4912d86 /app/Exceptions | |
| parent | 4a02352ccc1b313ce967415c6ac10a32aba1893a (diff) | |
Require PHP 7.4+ (#5720)
* Require PHP 7.4+
https://github.com/FreshRSS/FreshRSS/discussions/5474
* Update Docker oldest
Alpine 3.13 with PHP 7.4.26
* Add missing packets to Docker oldest
* Update to typed properties
https://php.net/migration74.new-features#migration74.new-features.core.typed-properties
* More types
Diffstat (limited to 'app/Exceptions')
| -rw-r--r-- | app/Exceptions/AlreadySubscribedException.php | 3 | ||||
| -rw-r--r-- | app/Exceptions/FeedNotAddedException.php | 3 | ||||
| -rw-r--r-- | app/Exceptions/ZipException.php | 3 |
3 files changed, 3 insertions, 6 deletions
diff --git a/app/Exceptions/AlreadySubscribedException.php b/app/Exceptions/AlreadySubscribedException.php index c2b11d3a0..410784451 100644 --- a/app/Exceptions/AlreadySubscribedException.php +++ b/app/Exceptions/AlreadySubscribedException.php @@ -2,8 +2,7 @@ class FreshRSS_AlreadySubscribed_Exception extends Exception { - /** @var string */ - private $feedName = ''; + private string $feedName = ''; public function __construct(string $url, string $feedName) { parent::__construct('Already subscribed! ' . $url, 2135); diff --git a/app/Exceptions/FeedNotAddedException.php b/app/Exceptions/FeedNotAddedException.php index b10e93f05..4676c8eb3 100644 --- a/app/Exceptions/FeedNotAddedException.php +++ b/app/Exceptions/FeedNotAddedException.php @@ -2,8 +2,7 @@ class FreshRSS_FeedNotAdded_Exception extends Exception { - /** @var string */ - private $url = ''; + private string $url = ''; public function __construct(string $url) { parent::__construct('Feed not added! ' . $url, 2147); diff --git a/app/Exceptions/ZipException.php b/app/Exceptions/ZipException.php index ecf546533..d02cc1aea 100644 --- a/app/Exceptions/ZipException.php +++ b/app/Exceptions/ZipException.php @@ -2,8 +2,7 @@ class FreshRSS_Zip_Exception extends Exception { - /** @var int */ - private $zipErrorCode = 0; + private int $zipErrorCode = 0; public function __construct(int $zipErrorCode) { parent::__construct('ZIP error!', 2141); |
