Merged from 1.7.

diff --git a/lib/pagelib.php b/lib/pagelib.php
index fcf059d2359f8f08bc0c6ab6bdeb0b69b83cee39..c98efc46e063e6420774573a90913cc1e2a75c2e 100644 (file)
--- a/lib/pagelib.php
+++ b/lib/pagelib.php
@@ -366,7 +366,7 @@ class page_course extends page_base {
 
     // This function prints out the common part of the page's header.
     // You should NEVER print the header "by hand" in other code.
-    function print_header($title, $morebreadcrumbs = NULL) {
+    function print_header($title, $morebreadcrumbs=NULL, $meta='', $bodytags='') {
         global $USER, $CFG;
 
         $this->init_full();
@@ -406,7 +406,7 @@ class page_course extends page_base {
         $buttons = empty($morebreadcrumbs) ? $buttons : ' ';
 
         print_header($title, $this->courserecord->fullname, $crumbtext,
-                     '', '', true, $buttons, user_login_string($this->courserecord, $USER));
+                     '', $meta, true, $buttons, user_login_string($this->courserecord, $USER), false, $bodytags);
     }
 
     // SELF-REPORTING SECTION