diff options
author | mattab <matthieu.aubry@gmail.com> | 2014-01-13 14:59:16 +0400 |
---|---|---|
committer | mattab <matthieu.aubry@gmail.com> | 2014-01-13 14:59:16 +0400 |
commit | d7594ba80144ecfbff722920c5df764be6800b1e (patch) | |
tree | 66bb63a363f50a564ec68eb4edcef8a67d3a2cb9 /core | |
parent | 04ef2aee1e9337086b91938498eb03210f3d0d5b (diff) |
Preventing warning when deactivating the plugin
Diffstat (limited to 'core')
-rw-r--r-- | core/Plugin/Manager.php | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/core/Plugin/Manager.php b/core/Plugin/Manager.php index c25a3d8d2d..22c7d0b4d3 100644 --- a/core/Plugin/Manager.php +++ b/core/Plugin/Manager.php @@ -253,9 +253,11 @@ class Manager extends Singleton $plugins = $this->pluginsToLoad; } - $plugin = $this->loadPlugin($pluginName); - if ($plugin !== null) { - $plugin->deactivate(); + if(!$this->isPluginBogus($pluginName)) { + $plugin = $this->loadPlugin($pluginName); + if ($plugin !== null) { + $plugin->deactivate(); + } } $plugins = $this->removePluginFromPluginsConfig($pluginName, $plugins); |