$page_config) {
if (isset($page_config['depth'])) {
$title = getpagetitle($page);
$link = '';
$uri = '';
if (isset($page_config['link'])) {
$uri = $page_config['link'];
} else {
$uri = $page;
}
if (isset($page_config['nolink'])) {
$link = $title;
} else {
$link = "$title";
}
switch ($page_config['depth']) {
case 1:
print "
$link
\n";
break;
case 2:
print "- $link
\n";
break;
case 3:
print " ⋅ $link
\n";
break;
default:
}
}
}
}
?>