diff options
-rw-r--r-- | core/Updater.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/core/Updater.php b/core/Updater.php index 4d3c92917d..2cf6af5659 100644 --- a/core/Updater.php +++ b/core/Updater.php @@ -498,6 +498,9 @@ class Updater if ($name == 'core') { $coreError = true; break; + } elseif ($pluginManager->isPluginActivated($name) && $pluginManager->isPluginBundledWithCore($name)) { + $coreError = true; + break; } elseif ($pluginManager->isPluginActivated($name)) { $pluginManager->deactivatePlugin($name); $deactivatedPlugins[] = $name; |