diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2025-12-21 19:26:08 +0100 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2025-12-21 19:26:08 +0100 |
| commit | 1a3912f25a27c8d78aacbbee98f6056f4ad47f1a (patch) | |
| tree | 90fe6bd955535aed22152fc3a41a51a4958f4d4d /app/Models/View.php | |
| parent | 672411ca7053345634a63dd3eabed75baf93043f (diff) | |
Improve configuration checks (#8334)
Add a distinction between recommended and required extensions.
Add check for recommended php-intl extension as follow-up of https://github.com/FreshRSS/FreshRSS/pull/8329#issuecomment-3677686581
Improve related checks such as ZIP.
Reduce duplicated translations and tests.
Diffstat (limited to 'app/Models/View.php')
| -rw-r--r-- | app/Models/View.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/app/Models/View.php b/app/Models/View.php index d1d5d0d8e..6b44c0816 100644 --- a/app/Models/View.php +++ b/app/Models/View.php @@ -54,9 +54,9 @@ class FreshRSS_View extends Minz_View { // Updates public string $last_update_time; - /** @var array<string,bool> */ + /** @var array<string,'ok'|'ko'|'warn'> */ public array $status_files; - /** @var array<string,bool> */ + /** @var array<string,'ok'|'ko'|'warn'> */ public array $status_php; public bool $update_to_apply; /** @var array<string,bool> */ |