Merge from STABLE. Fix bug 5477...

diff --git a/lib/weblib.php b/lib/weblib.php
index 3f9dfb3b648a1b07be4d5a70847e30af3623603a..9f303a6a4b0c6262c2eabb56b09b9446fa86014b 100644 (file)
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -2463,7 +2463,7 @@ function print_navigation ($navigation) {
    if ($navigation) {
        //Accessibility: breadcrumb links now in a list, » replaced with image.
           $nav_text = get_string('youarehere','access');
-          echo '<span class="accesshide">'.$nav_text.':</span><ul>';
+          echo '<h2 class="accesshide">'.$nav_text.",</h2><ul>\n";
        if (! $site = get_site()) {
            $site->shortname = get_string('home');
        }