diff --git a/admin/tool/profiling/index.php b/admin/tool/profiling/index.php index 7a6c455ee61..d8dc841046a 100644 --- a/admin/tool/profiling/index.php +++ b/admin/tool/profiling/index.php @@ -51,6 +51,12 @@ if ($listurl) { $PAGE->navbar->add($listurl, $listurlnav); } +// Add a new nav item to make $listurl clickable for the Boost theme. +if (isset($script)) { + $lastrunnav = get_string('lastrun', 'tool_profiling'); + $PAGE->navbar->add($lastrunnav); +} + // Header echo $OUTPUT->header(); diff --git a/admin/tool/profiling/lang/en/tool_profiling.php b/admin/tool/profiling/lang/en/tool_profiling.php index 17479ba29d3..14e8c7b0d37 100644 --- a/admin/tool/profiling/lang/en/tool_profiling.php +++ b/admin/tool/profiling/lang/en/tool_profiling.php @@ -41,6 +41,7 @@ $string['importok'] = 'File "{$a}" imported successfully.'; $string['importprefix'] = 'Import prefix'; $string['importproblem'] = 'Some problem happened importing the file "{$a}".'; $string['lastrunof'] = 'Summary of last run of {$a}'; +$string['lastrun'] = 'Summary of last run'; $string['markreferencerun'] = 'Mark as reference run/comment'; $string['memory'] = 'Memory used'; $string['pluginname'] = 'Profiling runs';