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