diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2021-12-31 13:12:42 +0100 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2021-12-31 13:12:42 +0100 |
| commit | 8fc43d5a5676479f60901e6e0360b7caf3d0351a (patch) | |
| tree | 00db1b6837b6d21b8063d5bef1f0a484bf634f30 /lib/Minz/Configuration.php | |
| parent | fb15a2d8048ff66db5cb73b0dfb3a5b6a052e1db (diff) | |
Fix extensions_enabled (#4090)
#fix https://github.com/FreshRSS/FreshRSS/issues/4088
Diffstat (limited to 'lib/Minz/Configuration.php')
| -rw-r--r-- | lib/Minz/Configuration.php | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/Minz/Configuration.php b/lib/Minz/Configuration.php index 0e74d4351..b57ca6c0d 100644 --- a/lib/Minz/Configuration.php +++ b/lib/Minz/Configuration.php @@ -81,6 +81,11 @@ class Minz_Configuration { */ private $configuration_setter = null; + /** + * List of enabled extensions. + */ + private $extensions_enabled = []; + public function removeExtension($ext_name) { unset(self::$extensions_enabled[$ext_name]); $legacyKey = array_search($ext_name, self::$extensions_enabled, true); |