From 05049d161b840e74bc603706d58922a027d4a9f7 Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Tue, 8 Feb 2005 14:51:38 +0000
Subject: [PATCH] Keep $THEME global in print_header for backward compatibility

---
 lib/weblib.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/weblib.php b/lib/weblib.php
index ee25af587b..81e734df02 100644
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -1494,7 +1494,7 @@ function highlightfast($needle, $haystack) {
 function print_header ($title='', $heading='', $navigation='', $focus='', $meta='',
                        $cache=true, $button='&nbsp;', $menu='', $usexml=false, $bodytags='') {
 
-    global $USER, $CFG, $SESSION, $ME;
+    global $USER, $CFG, $THEME, $SESSION, $ME;
 
 /// This is an ugly hack to be replaced later by a proper global $COURSE
     global $course;
-- 
2.39.5