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

'; ?> perfdebug && !empty($performanceinfo)) { echo $performanceinfo; } ?>