'; echo page_doc_link(get_sting('moodledocslink')); echo '

'; if ($navigation and false) { ?>