From 8cea3a3974b67d341d5f0ca5f5dea9f20a5fba3c Mon Sep 17 00:00:00 2001
From: martin <martin>
Date: Mon, 23 Sep 2002 15:41:06 +0000
Subject: [PATCH] Special "navigation" for home page - "home" value sets off
 different header in themes

---
 index.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.php b/index.php
index ca286b26f5f..0f49d071315 100644
--- a/index.php
+++ b/index.php
@@ -22,7 +22,7 @@
             $headerbutton = "<FONT SIZE=2><A HREF=\"$CFG->wwwroot/login/index.php\">".get_string("login")."</A></FONT>";
         }
     }
-    print_header("$site->fullname", "$site->fullname", "", "",
+    print_header("$site->fullname", "$site->fullname", "home", "",
                  "<META NAME=\"Description\" CONTENT=\"".stripslashes(strip_tags($site->summary))."\">",
                  true, $headerbutton);