block_course_menu_teachermanual_url)) { print ''; print ''.get_string("defaultcourseteacher").' '.get_string('help').''; print ''.get_string('instructormanualdesc','block_course_menu').''; } ?> block_course_menu_studentmanual_url)) { print ''; print ''.get_string('studentmanual', 'block_course_menu').''; print ''.get_string('studentmanualdesc', 'block_course_menu').''; } ?>