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

'; if ($home) {echo $GLOBALS['THEME']->resources; } } ?>