diff options
| author | 2024-01-03 10:26:09 +0100 | |
|---|---|---|
| committer | 2024-01-03 10:26:09 +0100 | |
| commit | 1e5f5078ed029640f69bdcc5ba51dd4dc69574ca (patch) | |
| tree | 0fec1612dd17b559b04735471bbb9b06ec55f753 /app/Models/View.php | |
| parent | e240ee1caf80ffcb016a96d696f797f343c56f54 (diff) | |
Sanitize parsing list of extensions (#6016)
fix https://github.com/FreshRSS/FreshRSS/issues/6015
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 9c601b1d1..3c188dd99 100644 --- a/app/Models/View.php +++ b/app/Models/View.php @@ -110,7 +110,7 @@ class FreshRSS_View extends Minz_View { public bool $selectorSuccess; // Extensions - /** @var array<string,array{'name':string,'author':string,'description':string,'version':string,'entrypoint':string,'type':'system'|'user','url':string,'method':string,'directory':string}> */ + /** @var array<array{'name':string,'author':string,'description':string,'version':string,'entrypoint':string,'type':'system'|'user','url':string,'method':string,'directory':string}> */ public array $available_extensions; public ?Minz_Extension $ext_details; /** @var array{'system':array<Minz_Extension>,'user':array<Minz_Extension>} */ |
