diff options
| author | dizzy <diosmosis@users.noreply.github.com> | 2021-07-19 10:57:49 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-19 10:57:49 +0300 |
| commit | f44f11a22275361d213c64059c556cb415abe3f3 (patch) | |
| tree | 2918e924c05f957c6ffcb1a08da7dd5f13f5f473 /core | |
| parent | 0cbcdadf5a972d531b7d5e78afa21a71004a9777 (diff) | |
check plugin exists in the filesystem on plugin activate command (#17772)
* check plugin is activated/deactivated in plugin
* add another check
* remove loadPlugin() modification
* undo deactiveplugin change
Diffstat (limited to 'core')
| -rw-r--r-- | core/Plugin/Manager.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/core/Plugin/Manager.php b/core/Plugin/Manager.php index b8838e86cb..1170b33a77 100644 --- a/core/Plugin/Manager.php +++ b/core/Plugin/Manager.php @@ -1184,6 +1184,7 @@ class Manager if (isset($this->loadedPlugins[$pluginName])) { return $this->loadedPlugins[$pluginName]; } + $newPlugin = $this->makePluginClass($pluginName); $this->addLoadedPlugin($pluginName, $newPlugin); |