From db70c046935e92b145716d82ac368a2060a8184d Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Tue, 25 Jan 2005 13:22:18 +0000
Subject: [PATCH] Standard theme is the one to use!  Everybody switch to it!! 
 :-)

---
 lib/setup.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/setup.php b/lib/setup.php
index ca2995f74e..fff77cbdb1 100644
--- a/lib/setup.php
+++ b/lib/setup.php
@@ -358,7 +358,7 @@ global $THEME;
         }
     }
 
-    if (stripos($CFG->theme, 'xhtml') !== false ) {    // Temporary measure to help with XHTML validation
+    if ($CFG->theme == 'standard') {    // Temporary measure to help with XHTML validation
         if (empty($_SESSION['USER'])) {      // Allow W3CValidator in as user called w3cvalidator (or guest)
             if ((strpos($_SERVER['HTTP_USER_AGENT'], 'W3C_Validator') !== false) or 
                 (strpos($_SERVER['HTTP_USER_AGENT'], 'Cynthia') !== false )) {
-- 
2.39.5