diff --git a/lib/weblib.php b/lib/weblib.php
index a08c12a0335..2c8021eeb31 100644
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -922,7 +922,7 @@ function highlightfast($needle, $haystack) {
 /// STANDARD WEB PAGE PARTS ///////////////////////////////////////////////////
 
 function print_header ($title="", $heading="", $navigation="", $focus="", $meta="",
-                       $cache=true, $button="&nbsp;", $menu="", $usexml=false) {
+                       $cache=true, $button="&nbsp;", $menu="", $usexml=false, $bodytags="") {
 // $title - appears top of window
 // $heading - appears top of page
 // $navigation - premade navigation string
@@ -932,6 +932,8 @@ function print_header ($title="", $heading="", $navigation="", $focus="", $meta=
 // $button - HTML code for a button (usually for module editing)
 // $menu - HTML code for a popup menu
 // $usexml - use XML for this page
+// $bodytags - this text will be included verbatim in the <body> tag (useful for onload() etc)
+
     global $USER, $CFG, $THEME, $SESSION;
 
     global $course;                // This is a bit of an ugly hack to be gotten rid of later
