diff options
Diffstat (limited to 'core/Application/Environment.php')
-rw-r--r-- | core/Application/Environment.php | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/core/Application/Environment.php b/core/Application/Environment.php index 61df20a32f..8631a90ec0 100644 --- a/core/Application/Environment.php +++ b/core/Application/Environment.php @@ -139,7 +139,8 @@ class Environment protected function getPluginListCached() { if ($this->pluginList === null) { - $this->pluginList = $this->getPluginList(); + $pluginList = $this->getPluginListOverride(); + $this->pluginList = $pluginList ?: $this->getPluginList(); } return $this->pluginList; } @@ -223,4 +224,13 @@ class Environment return array(); } } + + private function getPluginListOverride() + { + if (self::$globalEnvironmentManipulator) { + return self::$globalEnvironmentManipulator->makePluginList($this->getGlobalSettingsCached()); + } else { + return null; + } + } } |