Fixed a typo, whoops

2004-09-07 08:04:02 +00:00
parent 9610a66e21
commit 98de6431e9
1 changed files with 1 additions and 1 deletions
@@ -267,7 +267,7 @@
    if ($CFG->theme == 'standardxhtml') {    // 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 ) {
+                (strpos($_SERVER['HTTP_USER_AGENT'], 'Cynthia') !== false )) {
                if (!$USER = get_user_info_from_db("username", "w3cvalidator")) {
                    $USER = guest_user();
                }