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
