diff options
| author |  Luc SANCHEZ <4697568+ColonelMoutarde@users.noreply.github.com>
| 2023-10-30 20:40:13 +0100 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2023-10-30 20:40:13 +0100 |
| commit | 4a02352ccc1b313ce967415c6ac10a32aba1893a (patch) | |
| tree | 36bec23832a05acb930a5386d7eefb3535323a38 /app/Models/UserConfiguration.php | |
| parent | d50bb386e7bc9ee9595338119edc4951d10c526a (diff) | |
applies several small optimizations (#5511)
declare(strict_types=1);
Co-authored-by: Luc <sanchezluc+freshrss@gmail.com>
Diffstat (limited to 'app/Models/UserConfiguration.php')
| -rw-r--r-- | app/Models/UserConfiguration.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/app/Models/UserConfiguration.php b/app/Models/UserConfiguration.php index 30095af34..47d0fac49 100644 --- a/app/Models/UserConfiguration.php +++ b/app/Models/UserConfiguration.php @@ -1,5 +1,7 @@ <?php +declare(strict_types=1); + /** * @property string $apiPasswordHash * @property array<string,mixed> $archiving @@ -71,6 +73,7 @@ */ final class FreshRSS_UserConfiguration extends Minz_Configuration { + /** @throws Minz_ConfigurationNamespaceException */ public static function init(string $config_filename, ?string $default_filename = null): FreshRSS_UserConfiguration { parent::register('user', $config_filename, $default_filename); return parent::get('user'); |