function print_navigation ($navigation) {
global $CFG;
global $CFG;
if ($navigation) {
if (! $site = get_site()) {
$site->shortname = get_string("home");
}
$bits = explode('->', $navigation);
if (count($bits) > 2) {
array_splice($bits, 1, 1);
$navigation = implode('->', $bits);
}
$navigation = str_replace('->', '»', $navigation);
echo "<a target=\"{$CFG->framename}\" href=\"$CFG->wwwroot/\">$site->shortname</a> » $navigation";
}
}
if (! $site = get_site()) {
$site->shortname = get_string("home");
}
$bits = explode('->', $navigation);
if (count($bits) > 2) {
array_splice($bits, 1, 1);
$navigation = implode('->', $bits);
}
$navigation = str_replace('->', '»', $navigation);
echo "<a target=\"{$CFG->framename}\" href=\"$CFG->wwwroot/\">$site->shortname</a> » $navigation";
}
}