Weren't these two mistakenly switched? Compare the results from

/index.php and /course/view.php to see what I mean.

diff --git a/lib/weblib.php b/lib/weblib.php
index 54f373d273108a56d5b25a280c760ec51bebf12b..39e708b80a86e1f61cc50c34f404ee57ba444aae 100644 (file)
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -1637,8 +1637,8 @@ function print_header ($title='', $heading='', $navigation='', $focus='', $meta=
         $path .= 'index';
     }
     if (empty($path)) {
-        $pageid    = 'index';
-        $pageclass = 'course-view';
+        $pageid    = 'course-view';
+        $pageclass = 'index';
     } else {
         $pageid    = str_replace('/', '-', $path);
         $pageclass = explode('-', $pageid);