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/Search.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/Search.php')
| -rw-r--r-- | app/Models/Search.php | 55 |
1 files changed, 27 insertions, 28 deletions
diff --git a/app/Models/Search.php b/app/Models/Search.php index 404b8bfac..56f8d3834 100644 --- a/app/Models/Search.php +++ b/app/Models/Search.php @@ -12,64 +12,63 @@ class FreshRSS_Search { /** * This contains the user input string - * @var string */ - private $raw_input = ''; + private string $raw_input = ''; // The following properties are extracted from the raw input /** @var array<string>|null */ - private $entry_ids; + private ?array $entry_ids = null; /** @var array<int>|null */ - private $feed_ids; + private ?array $feed_ids = null; /** @var array<int>|'*'|null */ - private $label_ids; + private $label_ids = null; /** @var array<string>|null */ - private $label_names; + private ?array $label_names = null; /** @var array<string>|null */ - private $intitle; + private ?array $intitle = null; /** @var int|false|null */ - private $min_date; + private $min_date = null; /** @var int|false|null */ - private $max_date; + private $max_date = null; /** @var int|false|null */ - private $min_pubdate; + private $min_pubdate = null; /** @var int|false|null */ - private $max_pubdate; + private $max_pubdate = null; /** @var array<string>|null */ - private $inurl; + private ?array $inurl = null; /** @var array<string>|null */ - private $author; + private ?array $author = null; /** @var array<string>|null */ - private $tags; + private ?array $tags = null; /** @var array<string>|null */ - private $search; + private ?array $search = null; /** @var array<string>|null */ - private $not_entry_ids; + private ?array $not_entry_ids = null; /** @var array<int>|null */ - private $not_feed_ids; + private ?array $not_feed_ids = null; /** @var array<int>|'*'|null */ - private $not_label_ids; + private $not_label_ids = null; /** @var array<string>|null */ - private $not_label_names; + private ?array $not_label_names = null; /** @var array<string>|null */ - private $not_intitle; + private ?array $not_intitle = null; /** @var int|false|null */ - private $not_min_date; + private $not_min_date = null; /** @var int|false|null */ - private $not_max_date; + private $not_max_date = null; /** @var int|false|null */ - private $not_min_pubdate; + private $not_min_pubdate = null; /** @var int|false|null */ - private $not_max_pubdate; + private $not_max_pubdate = null; /** @var array<string>|null */ - private $not_inurl; + private ?array $not_inurl = null; /** @var array<string>|null */ - private $not_author; + private ?array $not_author = null; /** @var array<string>|null */ - private $not_tags; + private ?array $not_tags = null; /** @var array<string>|null */ - private $not_search; + private ?array $not_search = null; public function __construct(string $input) { $input = self::cleanSearch($input); |
