id); } else { $isteacher = false; $course->fullname = ""; // Just to keep display happy, though browsing may fail } ?> " /> <?php print_string("insertlink","editor");?>
:
:
:
:
".get_string("browse","editor")."..."; } ?>