From 0b16c794e3a9aeaf02df5a490d0a7f6b96beddda Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=B4me=20Chilliet?= <come@opensides.be>
Date: Wed, 7 Dec 2016 06:57:30 +0100
Subject: [PATCH] Do not let plugins rename menu sections

---
 include/class_config.inc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/include/class_config.inc b/include/class_config.inc
index 444318dcb..b53decb86 100644
--- a/include/class_config.inc
+++ b/include/class_config.inc
@@ -1068,7 +1068,9 @@ class config  {
       if (isset($plInfo['plMenuProvider']) && $plInfo['plMenuProvider']) {
         list($sections, $entries) = $class::getMenuEntries();
         foreach ($sections as $section => $infos) {
-          $this->data['SECTIONS'][$section] = array_change_key_case($infos, CASE_UPPER);
+          if (!isset($this->data['SECTIONS'][$section])) {
+            $this->data['SECTIONS'][$section] = array_change_key_case($infos, CASE_UPPER);
+          }
           if (!isset($this->data['MENU'][$section])) {
             $this->data['MENU'][$section] = array();
           }
-- 
GitLab