/**
* output explorer tree with bookmark folders
*/
function explorer()
{
global $tpl;
include_once "./Services/Bookmarks/classes/class.ilBookmarkExplorerGUI.php";
$exp = new ilBookmarkExplorerGUI($this, "explorer");
if (!$exp->handleCommand()) {
$tpl->setLeftNavContent($exp->getHTML());
}
}
