'; echo page_doc_link(get_string('moodledocslink')); echo '
'; // Only show logged-in / log-in links at the top //echo $loggedinas; echo $homelink; if (!empty($performanceinfo) and has_capability('moodle/site:config', get_context_instance(CONTEXT_SYSTEM))) { echo $performanceinfo; } if (debugging()) { ?>