From 41111d545b1fae31f552b5215ba8dc6ad7d5c664 Mon Sep 17 00:00:00 2001
From: martin <martin>
Date: Fri, 30 Nov 2001 06:12:35 +0000
Subject: [PATCH] Added favicon support and a small bugfix or two

---
 theme/standard/header.html | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/theme/standard/header.html b/theme/standard/header.html
index 9a61fe719e..7a63a05e9b 100644
--- a/theme/standard/header.html
+++ b/theme/standard/header.html
@@ -3,7 +3,8 @@
     <TITLE><?=$title ?></TITLE>
     <META NAME="keywords" CONTENT="Moodle, <?=$title ?> ">
     <?=$meta ?>
-    <LINK rel="stylesheet" HREF="<?=$styles ?>">
+    <LINK REL="stylesheet" HREF="<?=$styles ?>">
+    <LINK REL="SHORTCUT ICON" HREF="<?=$CFG->wwwroot?>/theme/standard/favicon.ico">
     <? include("$CFG->javascript"); ?>
 </HEAD>
 
@@ -19,7 +20,7 @@
     <FONT FACE="Trebuchet MS, Verdana, Arial, Helvetica, sans-serif" SIZE=2><B>
 <?  print_navigation("$navigation"); ?>
     </B></FONT></TD></TR></TABLE>
-    <IMG SRC="$CFG->wwwroot/pix/spacer.gif" ALT="" HEIGHT=5 WIDTH=1>
+    <IMG SRC="<?=$CFG->wwwroot?>/pix/spacer.gif" ALT="" HEIGHT=5 WIDTH=1>
 <?  } else { ?>
     <HR SIZE=1 NOSHADE>
 <?  } ?>
-- 
2.39.5