diff options
| author | 2025-12-21 19:26:08 +0100 | |
|---|---|---|
| committer | 2025-12-21 19:26:08 +0100 | |
| commit | 1a3912f25a27c8d78aacbbee98f6056f4ad47f1a (patch) | |
| tree | 90fe6bd955535aed22152fc3a41a51a4958f4d4d /lib/Minz/Configuration.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 'lib/Minz/Configuration.php')
| -rw-r--r-- | lib/Minz/Configuration.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Minz/Configuration.php b/lib/Minz/Configuration.php index 45988f4a9..bb4a8b09e 100644 --- a/lib/Minz/Configuration.php +++ b/lib/Minz/Configuration.php @@ -4,8 +4,8 @@ declare(strict_types=1); /** * Manage configuration for the application. * @property string $base_url - * @property array{'type':string,'host':string,'user':string,'password':string,'base':string,'prefix':string, - * 'connection_uri_params':string,'pdo_options':array<int,int|string|bool>} $db + * @property array{type:'mysql'|'pgsql'|'sqlite',host:string,user:string,password:string,base:string,prefix:string, + * connection_uri_params:string,pdo_options:array<int,int|string|bool>} $db * @property bool $disable_update * @property string $environment * @property array<string,bool> $extensions_enabled |
