diff options
author | Thomas Steur <tsteur@users.noreply.github.com> | 2020-09-10 08:48:39 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-10 08:48:39 +0300 |
commit | 695f7c80a105ecb928af9e458d89fe3751552434 (patch) | |
tree | b7d01386ea0c5235006b88e46c93bb56ad6b75ff /plugins/CoreUpdater | |
parent | 6c47439c2ba98ee9be624ddf6b99cc125ec0a663 (diff) |
Make sure to update plugin information before disabling plugins (#16418)
refs #16416
Diffstat (limited to 'plugins/CoreUpdater')
-rw-r--r-- | plugins/CoreUpdater/Updater.php | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/plugins/CoreUpdater/Updater.php b/plugins/CoreUpdater/Updater.php index 14196500bd..616426ed9d 100644 --- a/plugins/CoreUpdater/Updater.php +++ b/plugins/CoreUpdater/Updater.php @@ -299,6 +299,12 @@ class Updater private function disableIncompatiblePlugins($version) { + $pluginManager = PluginManager::getInstance(); + $plugins = $pluginManager->getLoadedPlugins(); + foreach ($plugins as $plugin) { + $plugin->reloadPluginInformation(); + } + $incompatiblePlugins = $this->getIncompatiblePlugins($version); $disabledPluginNames = array(); |