diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2023-04-08 17:37:42 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2023-04-08 17:37:42 +0200 |
| commit | 743ca371bbd8c412c2cd4ded6a5a44544abc5a65 (patch) | |
| tree | 7b12b205c09ae335134d4c4ea2d8d9f04fc60e9d /app/Models/View.php | |
| parent | b2ee8a660f719ee3e523988bf536197d4bbe46a1 (diff) | |
PHPStan Level 6 for more files (#5275)
Contributes to https://github.com/FreshRSS/FreshRSS/issues/4112
Diffstat (limited to 'app/Models/View.php')
| -rw-r--r-- | app/Models/View.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/app/Models/View.php b/app/Models/View.php index 28e6dbb35..e908bdfad 100644 --- a/app/Models/View.php +++ b/app/Models/View.php @@ -81,7 +81,7 @@ class FreshRSS_View extends Minz_View { public $size_user; // Display - /** @var array<string> */ + /** @var array<string,array{'id':string,'name':string,'author':string,'description':string,'version':float|string,'files':array<string>,'theme-color'?:string|array{'dark'?:string,'light'?:string,'default'?:string}}> */ public $themes; // Shortcuts |