diff options
| author | 2023-04-04 10:23:26 +0200 | |
|---|---|---|
| committer | 2023-04-04 10:23:26 +0200 | |
| commit | 36aa0122e15b6c5a4bf923467b63a577cac5a539 (patch) | |
| tree | 3dc7d2c5143157165f0248fab7470f86f76b0898 /cli | |
| 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 'cli')
| -rw-r--r-- | cli/_cli.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cli/_cli.php b/cli/_cli.php index 0d2c8695f..13f4c62a2 100644 --- a/cli/_cli.php +++ b/cli/_cli.php @@ -37,7 +37,7 @@ function cliInitUser($username) { } $ext_list = FreshRSS_Context::$user_conf->extensions_enabled; - Minz_ExtensionManager::enableByList($ext_list); + Minz_ExtensionManager::enableByList($ext_list, 'user'); return $username; } |
