From c6d4178203f29cc26a4f761776055eb4bb0176a9 Mon Sep 17 00:00:00 2001
From: skodak <skodak>
Date: Fri, 29 May 2009 07:56:52 +0000
Subject: [PATCH] MDL-19333 new indication of plugin name when editing admin
 settings

---
 lib/adminlib.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/adminlib.php b/lib/adminlib.php
index 087179a412..39d6c908e4 100644
--- a/lib/adminlib.php
+++ b/lib/adminlib.php
@@ -5690,7 +5690,7 @@ function admin_output_new_settings_by_page($node) {
 function format_admin_setting($setting, $title='', $form='', $description='', $label=true, $warning='', $defaultinfo=NULL, $query='') {
     global $CFG;
 
-    $name     = $setting->name;
+    $name     = empty($setting->plugin) ? $setting->name : "$setting->plugin | $setting->name";
     $fullname = $setting->get_full_name();
 
     // sometimes the id is not id_s_name, but id_s_name_m or something, and this does not validate
@@ -5700,7 +5700,7 @@ function format_admin_setting($setting, $title='', $form='', $description='', $l
         $labelfor = '';
     }
 
-    if (empty($setting->plugin) and array_key_exists($name, $CFG->config_php_settings)) {
+    if (empty($setting->plugin) and array_key_exists($setting->name, $CFG->config_php_settings)) {
         $override = '<div class="form-overridden">'.get_string('configoverride', 'admin').'</div>';
     } else {
         $override = '';
-- 
2.39.5