Avoid one undefined THEME little problem in html_header()

This commit is contained in:
stronk7 2004-03-14 23:05:04 +00:00
parent 0dafd031df
commit 13ae718937

View File

@ -35,7 +35,7 @@
function html_header($course, $wdir, $formfield=""){
global $CFG;
global $CFG,$THEME;
if (! $site = get_site()) {
error("Invalid site!");