$def with (course,task,submission,to_display) $# $# This file is part of INGInious. See the LICENSE and the COPYRIGHTS files for $# more information about the licensing of this file. $# $ username = submission['username'][0] $ user_realname= user_manager.get_user_realname(username) $var title: $:task.get_name(user_manager.session_language()) - $:user_realname - $:course.get_name(user_manager.session_language()) $ is_admin = user_manager.has_admin_rights_on_course(course) $var Column: $:template_helper.call('course_admin_menu',course=course,current='students') $def NavbarF():
$var Navbar: $:NavbarF()