$def with (course,user_data,error,post) $# $# This file is part of INGInious. See the LICENSE and the COPYRIGHTS files for $# more information about the licensing of this file. $# $var title: $:course.get_name(user_manager.session_language()) $var Column: $:template_helper.call('course_admin_menu',course=course,current='students') $def NavbarF():
$var Navbar: $:NavbarF()