diff options
| author | 2022-01-01 11:26:56 +0100 | |
|---|---|---|
| committer | 2022-01-01 11:26:56 +0100 | |
| commit | 3f6aa42b817145a3b00f4d615f87728b55c4413a (patch) | |
| tree | e5b31941b0acc3a2f4c47e4846afcfe987b9852f /app/views | |
| parent | 77e9877316fcfacb26799afdf32d94c8411da80e (diff) | |
Fix most PHPDocs errors (#4107)
Contributes to https://github.com/FreshRSS/FreshRSS/issues/4103
https://phpstan.org/writing-php-code/phpdoc-types
Diffstat (limited to 'app/views')
| -rw-r--r-- | app/views/index/logs.phtml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/app/views/index/logs.phtml b/app/views/index/logs.phtml index a8e78810c..bb11f9f69 100644 --- a/app/views/index/logs.phtml +++ b/app/views/index/logs.phtml @@ -11,7 +11,10 @@ <button type="submit" class="btn"><?= _t('index.log.clear') ?></button> </p></form> - <?php $items = $this->logsPaginator->items(); ?> + <?php + /** @var array<FreshRSS_Log> $items */ + $items = $this->logsPaginator->items(); + ?> <?php if (!empty($items)) { ?> <div class="loglist"> |
