"; echo ''; echo ' '.page_doc_link(get_string('moodledocslink')); echo ''; echo ""; echo $loggedinas; echo $homelink; if (!empty($performanceinfo)) { echo $performanceinfo; } print_container_end(); ?>