diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2023-04-04 10:23:26 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2023-04-04 10:23:26 +0200 |
| commit | 36aa0122e15b6c5a4bf923467b63a577cac5a539 (patch) | |
| tree | 3dc7d2c5143157165f0248fab7470f86f76b0898 /app/Models/View.php | |
| parent | 2340f7a1bac38647f0267c1d7143c0cf04d68fcc (diff) | |
Fix extensions in actualize_script (#5243)
* Fix extension freshrss_user_maintenance in actualize_script
Follow-up of https://github.com/FreshRSS/FreshRSS/pull/3440
The hook was called before registering all the extensions for the current user
* PHPStan Level 6 for extensions
And remove 5-year old legacy format of enabled extensions < FreshRSS 1.11.1
* Fix multiple bugs in extensions
* Minor typing
* Don't change signature of methods supposed to be overridden
* PHPStan Level 9 and compatibility Intelliphense
* Set as final the methods not supposed to be overriden
Diffstat (limited to 'app/Models/View.php')
| -rw-r--r-- | app/Models/View.php | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/app/Models/View.php b/app/Models/View.php index 309773c93..7e7afd124 100644 --- a/app/Models/View.php +++ b/app/Models/View.php @@ -114,10 +114,15 @@ class FreshRSS_View extends Minz_View { public $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}> */ public $available_extensions; + /** @var ?Minz_Extension */ public $ext_details; + /** @var array{'system':array<Minz_Extension>,'user':array<Minz_Extension>} */ public $extension_list; + /** @var ?Minz_Extension */ public $extension; + /** @var array<string,string> */ public $extensions_installed; // Errors |