$def with (course, tasks, user_data, aggregations, tutored_aggregations, tutored_users, checked_tasks, checked_users, show_aggregations, msg, error) $# $# 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()) - $:_("Replay submissions") $var Column: $:template_helper.call('course_admin_menu',course=course,current='replay') $ use_classrooms = course.use_classrooms() $def NavbarF(): $var Navbar: $:NavbarF()