: | name; } else{ $name = ''; } ?> |
: |
description);
if ($usehtmleditor) {
echo '';
} else {
echo ' '; helpbutton('textformat', get_string('formattexttype')); print_string("formattexttype"); echo ': '; choose_from_menu(format_text_menu(), 'format', $form->format, ''); echo ''; } ?> |
: | |
} ?> |