From d800b57d78e7385ed6085c2732fc37f43b9b969e Mon Sep 17 00:00:00 2001
From: Matthieu Napoli <matthieu@mnapoli.fr>
Date: Mon, 8 Jun 2015 14:07:01 +0200
Subject: [PATCH] Fixes #8014 the Diagnostics plugin need to always be enabled

---
 core/Plugin/Manager.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/core/Plugin/Manager.php b/core/Plugin/Manager.php
index cf7cc09bae..b7a397b587 100644
--- a/core/Plugin/Manager.php
+++ b/core/Plugin/Manager.php
@@ -65,6 +65,7 @@ class Manager
     // These are always activated and cannot be deactivated
     protected $pluginToAlwaysActivate = array(
         'CoreHome',
+        'Diagnostics',
         'CoreUpdater',
         'CoreAdminHome',
         'CoreConsole',
-- 
GitLab