Browse Source

Fix extensions_enabled (#4090)

#fix https://github.com/FreshRSS/FreshRSS/issues/4088
Alexandre Alapetite 4 years ago
parent
commit
8fc43d5a56
1 changed files with 5 additions and 0 deletions
  1. 5 0
      lib/Minz/Configuration.php

+ 5 - 0
lib/Minz/Configuration.php

@@ -81,6 +81,11 @@ class Minz_Configuration {
 	 */
 	 */
 	private $configuration_setter = null;
 	private $configuration_setter = null;
 
 
+	/**
+	 * List of enabled extensions.
+	 */
+	private $extensions_enabled = [];
+
 	public function removeExtension($ext_name) {
 	public function removeExtension($ext_name) {
 		unset(self::$extensions_enabled[$ext_name]);
 		unset(self::$extensions_enabled[$ext_name]);
 		$legacyKey = array_search($ext_name, self::$extensions_enabled, true);
 		$legacyKey = array_search($ext_name, self::$extensions_enabled, true);