Slip those popular » characters into the navigation bar

2004-06-04 13:15:45 +00:00
parent e8fb94a3cd
commit dcc6326eb9
1 changed files with 2 additions and 1 deletions
@@ -1092,7 +1092,8 @@ function print_navigation ($navigation) {
       if (! $site = get_site()) {
           $site->shortname = get_string("home");;
       }
-       echo "<a target=\"{$CFG->framename}\" href=\"$CFG->wwwroot/\">$site->shortname</a> -> $navigation";
+       $navigation = str_replace('->', '&raquo;', $navigation);
+       echo "<a target=\"{$CFG->framename}\" href=\"$CFG->wwwroot/\">$site->shortname</a> &raquo; $navigation";
   }
 }