From 36aa0122e15b6c5a4bf923467b63a577cac5a539 Mon Sep 17 00:00:00 2001 From: Alexandre Alapetite Date: Tue, 4 Apr 2023 10:23:26 +0200 Subject: 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 --- lib/Minz/Configuration.php | 20 +------------------- 1 file changed, 1 insertion(+), 19 deletions(-) (limited to 'lib/Minz/Configuration.php') diff --git a/lib/Minz/Configuration.php b/lib/Minz/Configuration.php index a9a4ae03a..f286138e2 100644 --- a/lib/Minz/Configuration.php +++ b/lib/Minz/Configuration.php @@ -6,7 +6,7 @@ * @property array> $db * @property-read string $disable_update * @property-read string $environment - * @property-read array $extensions_enabled + * @property array $extensions_enabled * @property-read string $mailer * @property-read array $smtp * @property string $title @@ -91,24 +91,6 @@ class Minz_Configuration { */ private $configuration_setter = null; - /** - * List of enabled extensions. - */ - private $extensions_enabled = []; - - public function removeExtension($ext_name) { - unset($this->extensions_enabled[$ext_name]); - $legacyKey = array_search($ext_name, $this->extensions_enabled, true); - if ($legacyKey !== false) { //Legacy format FreshRSS < 1.11.1 - unset($this->extensions_enabled[$legacyKey]); - } - } - public function addExtension($ext_name) { - if (!isset($this->extensions_enabled[$ext_name])) { - $this->extensions_enabled[$ext_name] = true; - } - } - /** * Create a new Minz_Configuration object. * -- cgit v1.2.3