: 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 ''; } ?>

: