diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2022-01-04 13:59:09 +0100 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2022-01-04 13:59:09 +0100 |
| commit | 1335a0e3cf11a0d4248e9eaaf748b89e6df741ef (patch) | |
| tree | ed6a8d17cef0581e5b0402dc8dfedd42fabfe9c7 /app/Models/View.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/Models/View.php')
| -rw-r--r-- | app/Models/View.php | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/app/Models/View.php b/app/Models/View.php index 22bc2c49a..e3a591155 100644 --- a/app/Models/View.php +++ b/app/Models/View.php @@ -4,9 +4,11 @@ class FreshRSS_View extends Minz_View { // Main views public $callbackBeforeEntries; + public $callbackBeforeFeeds; public $callbackBeforePagination; public $categories; public $category; + public $current_user; public $entries; public $entry; public $feed; @@ -33,6 +35,7 @@ class FreshRSS_View extends Minz_View { public $status_files; public $status_php; public $update_to_apply; + public $status_database; // Archiving public $nb_total; @@ -46,12 +49,19 @@ class FreshRSS_View extends Minz_View { public $list_keys; // User queries + /** + * @var array<int,FreshRSS_UserQuery> + */ public $queries; + /** + * @var FreshRSS_UserQuery|null + */ public $query; // Export / Import public $content; public $entriesRaw; + public $entriesId; public $entryIdsTagNames; public $list_title; public $queryId; @@ -87,6 +97,7 @@ class FreshRSS_View extends Minz_View { public $selectorSuccess; // Extensions + public $available_extensions; public $ext_details; public $extension_list; public $extension; @@ -95,6 +106,7 @@ class FreshRSS_View extends Minz_View { // Errors public $code; public $errorMessage; + public $message; // Statistics public $average; |