diff --git a/lib/weblib.php b/lib/weblib.php index 9d386995394..3d17e66aa7d 100644 --- a/lib/weblib.php +++ b/lib/weblib.php @@ -3187,6 +3187,11 @@ function theme_setup($theme = '', $params=NULL) { global $CFG, $THEME, $SESSION, $USER, $HTTPSPAGEREQUIRED; +/// Do not mess with THEME if header already printed - this would break all the extra stuff in global $THEME from print_header()!! + if (defined('HEADER_PRINTED')) { + return; + } + if (empty($theme)) { $theme = current_theme(); } @@ -7029,4 +7034,4 @@ function is_in_popup() { // vim:autoindent:expandtab:shiftwidth=4:tabstop=4:tw=140: -?> \ No newline at end of file +?>