From e32df7aab171478cb1831a8e8f70796548d5502a Mon Sep 17 00:00:00 2001 From: vinkmar Date: Mon, 2 Oct 2006 06:02:52 +0000 Subject: [PATCH] links added to section titles --- admin/search.php | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/admin/search.php b/admin/search.php index 6735e282fb..26899daf85 100644 --- a/admin/search.php +++ b/admin/search.php @@ -100,6 +100,7 @@ function search_settings(&$node, $query) { function search_settings_html(&$node, $query) { + global $CFG; if (is_a($node, 'admin_category')) { $entries = array_keys($node->children); $return = ''; @@ -120,7 +121,7 @@ function search_settings_html(&$node, $query) { } $return = ''; if (count($foundsettings) > 0) { - $return .= print_heading(get_string('searchresults','admin').' - '.$node->visiblename, '', 2, 'main', true); + $return .= print_heading(get_string('searchresults','admin').' - '. '' . $node->visiblename . '', '', 2, 'main', true); $return .= '
' . "\n"; foreach ($foundsettings as $foundsetting) { $return .= '
' . "\n"; -- 2.39.5