diff --git a/lib/weblib.php b/lib/weblib.php index da6c86a2f9d..78e89ac1afb 100644 --- a/lib/weblib.php +++ b/lib/weblib.php @@ -2520,8 +2520,10 @@ function print_header ($title='', $heading='', $navigation='', $focus='', $meta .= ''; $meta .= ""; }