public function get_nav_links($course, $sections, $sectionno) { return \theme_essential\toolbox::get_nav_links($course, $sections, $sectionno); }
public function get_nav_links($course, $sections, $sectionno) { return \theme_essential\toolbox::get_nav_links($course, $sections, $sectionno); }