diff options
author | Thomas Steur <tsteur@users.noreply.github.com> | 2020-09-10 08:47:02 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-10 08:47:02 +0300 |
commit | a410b9d6b945d32390e5df80fde9a4cd90ae3f55 (patch) | |
tree | 868e0972a4b4e90cf6c2908c9cda2d880ca706df | |
parent | b4b04b272959c2b940305a247f2b01a0ff469bf8 (diff) |
Make sure to update plugin information before disabling plugins (#16416)
-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 c190f562f9..17af015fab 100644 --- a/plugins/CoreUpdater/Updater.php +++ b/plugins/CoreUpdater/Updater.php @@ -298,6 +298,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(); |