Do not let plugins rename menu sections

include/class_config.inc

@@ -1039,7 +1039,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();
           }