showMenuItem("Documents", "documents"); ?> </li> <li> <?php showMenuItem("Texts", "texts"); ?> </li> <li> <?php showMenuItem("Set Contents", "setcontents"); ?> </li> <li> <?php showMenuItem("Manage Browsable Graphs", "managegraphs"); ?> </li> <li class="secondary"> <a href="?page=logout"><?php echo $user; ?> : logout</a> </li> <li class="secondary"> <a href="?page=sections">Other Sections</a> </li> </ul> </div> <div class="clear"></div>
<li><a href="resource.php?resource=<?php echo htmlentities($resource->getId()); ?> "><?php echo htmlentities($document->getName()); ?> </a></li> <?php } } ?> </ul> </li> <li> <?php showMenuItem("Explore", "explore"); ?> <ul> <?php if ($databases = getPublishedDatabases($section->getId())) { foreach ($databases as $db) { $document = $section->getDocumentById($db); ?> <li><a href="explore.php?db=<?php echo htmlentities($db); ?> "><?php echo htmlentities($document->getName()); ?> </a></li> <?php