name)) { $form->name = ''; } if (!isset($form->description)) { $form->description = ''; } if (!isset($form->format)) { $form->format = $defaultformat; } if (!isset($form->schedulermode)) { $form->schedulermode = 'oneonly'; } ?>
'; helpbutton("textformat", get_string("formattexttype")); print_string("formattexttype"); echo ': '; choose_from_menu(format_text_menu(), "format", $form->format, ""); echo ''; } ?>