action}{$form->type}", 'tracker'); ?>
'; helpbutton('textformat', get_string('formattexttype')); print_string("formattexttype"); echo ': '; choose_from_menu(format_text_menu(), 'format', $form->format, ''); echo ''; } ?>