diff options
| author | 2023-10-30 20:47:27 +0100 | |
|---|---|---|
| committer | 2023-10-30 20:47:27 +0100 | |
| commit | 06d00995049db9c7b915f67cfd4a5708aace458f (patch) | |
| tree | 0176ca9761b34d72ffd597bd96da3c3ae4912d86 /app/Models/Entry.php | |
| 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/Models/Entry.php')
| -rw-r--r-- | app/Models/Entry.php | 46 |
1 files changed, 17 insertions, 29 deletions
diff --git a/app/Models/Entry.php b/app/Models/Entry.php index 31aaf67a0..e3e61fb00 100644 --- a/app/Models/Entry.php +++ b/app/Models/Entry.php @@ -7,38 +7,26 @@ class FreshRSS_Entry extends Minz_Model { public const STATE_FAVORITE = 4; public const STATE_NOT_FAVORITE = 8; - /** @var string */ - private $id = '0'; - /** @var string */ - private $guid; - /** @var string */ - private $title; + private string $id = '0'; + private string $guid; + private string $title; /** @var array<string> */ - private $authors; - /** @var string */ - private $content; - /** @var string */ - private $link; - /** @var int */ - private $date; - /** @var int */ - private $lastSeen = 0; - /** @var string In microseconds */ - private $date_added = '0'; - /** @var string */ - private $hash = ''; - /** @var bool|null */ - private $is_read; - /** @var bool|null */ - private $is_favorite; - /** @var int */ - private $feedId; - /** @var FreshRSS_Feed|null */ - private $feed; + private array $authors; + private string $content; + private string $link; + private int $date; + private int $lastSeen = 0; + /** In microseconds */ + private string $date_added = '0'; + private string $hash = ''; + private ?bool $is_read; + private ?bool $is_favorite; + private int $feedId; + private ?FreshRSS_Feed $feed; /** @var array<string> */ - private $tags = []; + private array $tags = []; /** @var array<string,mixed> */ - private $attributes = []; + private array $attributes = []; /** * @param int|string $pubdate |
