diff options
Diffstat (limited to 'lib')
| -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); |