Standard theme is the one to use! Everybody switch to it!! :-)

diff --git a/lib/setup.php b/lib/setup.php
index ca2995f74e39019319668d8465a98b7fa2d57a87..fff77cbdb1b38daa712f159dc17f8b7bd8603c6e 100644 (file)
--- 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 )) {