: |
description);
if ($usehtmleditor) {
echo '';
$nohtmleditorneeded = false;
} else {
echo ' ';
helpbutton('textformat', get_string('formattexttype'));
print_string('formattexttype');
echo ': ';
$format = (isset($categories[$i]->format)) ? $categories[$i]->format : $defaultformat ;
choose_from_menu(format_text_menu(), 'format[]', @$categories[$i]->format , '');
echo ' ';
}
?>
|