$def with (course,task_data,available_filetypes,AccessibleTime,current_filetype,contains_is_html) $# $# This file is part of INGInious. See the LICENSE and the COPYRIGHTS files for $# more information about the licensing of this file. $#