aboutsummaryrefslogtreecommitdiff
path: root/app/Models/Entry.php
diff options
context:
space:
mode:
authorGravatar Alexandre Alapetite <alexandre@alapetite.fr> 2023-10-30 20:47:27 +0100
committerGravatar GitHub <noreply@github.com> 2023-10-30 20:47:27 +0100
commit06d00995049db9c7b915f67cfd4a5708aace458f (patch)
tree0176ca9761b34d72ffd597bd96da3c3ae4912d86 /app/Models/Entry.php
parent4a02352ccc1b313ce967415c6ac10a32aba1893a (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.php46
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