diff options
| author | 2022-01-04 13:59:09 +0100 | |
|---|---|---|
| committer | 2022-01-04 13:59:09 +0100 | |
| commit | 1335a0e3cf11a0d4248e9eaaf748b89e6df741ef (patch) | |
| tree | ed6a8d17cef0581e5b0402dc8dfedd42fabfe9c7 /lib/Minz/Configuration.php | |
| parent | 0988b0c2be911133f883313bc3a858670192cc69 (diff) | |
PHPStan level 5 (#4110)
* Fix most PHPDocs errors
Contributes to https://github.com/FreshRSS/FreshRSS/issues/4103
https://phpstan.org/writing-php-code/phpdoc-types
* Avoid func_get_args
Use variadic syntax instead https://php.net/manual/functions.arguments#functions.variable-arg-list
And avoid dynamic functions names when possible to more easily identify calls and unused functions.
Contributes to https://github.com/FreshRSS/FreshRSS/issues/4103
* PHPStan level 3
* PHPStand level 4
* Update default to PHPStan level 4
* Towards level 5
* Fix level 4 regression
* Towards level 5
* Pass PHPStan level 5
* Towards level 6
* Remove erronenous regression from changelog
https://github.com/FreshRSS/FreshRSS/pull/4116
Diffstat (limited to 'lib/Minz/Configuration.php')
| -rw-r--r-- | lib/Minz/Configuration.php | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/lib/Minz/Configuration.php b/lib/Minz/Configuration.php index 539b1da62..403d6ccba 100644 --- a/lib/Minz/Configuration.php +++ b/lib/Minz/Configuration.php @@ -2,6 +2,14 @@ /** * Manage configuration for the application. + * @property-read string $base_url + * @property array<string|array<int,string>> $db + * @property-read string $disable_update + * @property-read string $environment + * @property-read array<string> $extensions_enabled + * @property-read string $mailer + * @property-read string $smtp + * @property string $title */ class Minz_Configuration { /** @@ -58,6 +66,8 @@ class Minz_Configuration { /** * The namespace of the current configuration. + * Unused. + * @phpstan-ignore-next-line */ private $namespace = ''; |
