diff --git a/blocks/admin_bookmarks/block_admin_bookmarks.php b/blocks/admin_bookmarks/block_admin_bookmarks.php index e332ca0edea..2815567864a 100644 --- a/blocks/admin_bookmarks/block_admin_bookmarks.php +++ b/blocks/admin_bookmarks/block_admin_bookmarks.php @@ -57,7 +57,10 @@ class block_admin_bookmarks extends block_base { $bookmarks = array(); } - if (($section = (isset($PAGE->section) ? $PAGE->section : '')) && (in_array($section, $bookmarks))) { + if($PAGE->section == 'search'){ + // the search page can't be properly bookmarked at present + $this->content->footer = ''; + }elseif (($section = (isset($PAGE->section) ? $PAGE->section : '')) && (in_array($section, $bookmarks))) { $this->content->footer = '' . get_string('unbookmarkthispage','admin') . ''; } elseif ($section = (isset($PAGE->section) ? $PAGE->section : '')) { $this->content->footer = '' . get_string('bookmarkthispage','admin') . '';