$def with (inputId,header,lines,maxChars,language,optional,default) $# $# This file is part of INGInious. See the LICENSE and the COPYRIGHTS files for $# more information about the licensing of this file. $#
$:header