'; echo $loggedinas; echo $homelink; echo '

'; echo '

'; echo page_doc_link(get_string('moodledocslink')); echo '

'; if (!empty($performanceinfo)) { echo $performanceinfo; } if (debugging()) { ?>