{# This file is part of INGInious. See the LICENSE and the COPYRIGHTS files for #} {# more information about the licensing of this file. #} {% set registered = user_manager.course_is_user_registered(course) %} {% set task_dispenser = course.get_task_dispenser() %}