diff options
| author | 2022-01-04 13:59:09 +0100 | |
|---|---|---|
| committer | 2022-01-04 13:59:09 +0100 | |
| commit | 1335a0e3cf11a0d4248e9eaaf748b89e6df741ef (patch) | |
| tree | ed6a8d17cef0581e5b0402dc8dfedd42fabfe9c7 /app/install.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 'app/install.php')
| -rw-r--r-- | app/install.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/app/install.php b/app/install.php index 295be8b76..c9faffd4c 100644 --- a/app/install.php +++ b/app/install.php @@ -276,6 +276,9 @@ function freshrss_already_installed() { $system_conf = null; try { Minz_Configuration::register('system', $conf_path); + /** + * @var FreshRSS_SystemConfiguration $system_conf + */ $system_conf = Minz_Configuration::get('system'); } catch (Minz_FileNotExistException $e) { return false; |
