';
echo page_doc_link(get_string('moodledocslink'));
echo '';
if ($navigation and false) { ?>
themedir.'/page/lib.php');
page_theme_print_backto_button();
// Perhaps move this into a patch. Right now, keep it from failing
if (file_exists($CFG->dirroot.'/mod/content/locallib.php')) {
require_once($CFG->dirroot.'/mod/content/locallib.php');
content_print_translate_button();
}
echo $homelink;
if (!empty($performanceinfo)) {
echo $performanceinfo;
}
if (debugging()) { ?>