aboutsummaryrefslogtreecommitdiff
path: root/lib/Minz/Configuration.php
diff options
context:
space:
mode:
authorGravatar Alexandre Alapetite <alexandre@alapetite.fr> 2023-04-04 10:23:26 +0200
committerGravatar GitHub <noreply@github.com> 2023-04-04 10:23:26 +0200
commit36aa0122e15b6c5a4bf923467b63a577cac5a539 (patch)
tree3dc7d2c5143157165f0248fab7470f86f76b0898 /lib/Minz/Configuration.php
parent2340f7a1bac38647f0267c1d7143c0cf04d68fcc (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 'lib/Minz/Configuration.php')
-rw-r--r--lib/Minz/Configuration.php20
1 files changed, 1 insertions, 19 deletions
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<string|array<int,string>> $db
* @property-read string $disable_update
* @property-read string $environment
- * @property-read array<string> $extensions_enabled
+ * @property array<string,bool> $extensions_enabled
* @property-read string $mailer
* @property-read array<string|int|bool> $smtp
* @property string $title
@@ -92,24 +92,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.
*
* @param string $namespace the name of the current configuration.