| @@ -54,7 +54,7 @@ discard block | ||
| 54 | 54 | // | 
| 55 | 55 |  function get_platform($user_agent) { | 
| 56 | 56 |      if (strstr($user_agent, 'Windows')) { | 
| 57 | -        if (strstr($user_agent, 'Win64')||strstr($user_agent, 'WOW64')) { | |
| 57 | +        if (strstr($user_agent, 'Win64') || strstr($user_agent, 'WOW64')) { | |
| 58 | 58 | return 'windows_x86_64'; | 
| 59 | 59 |          } else { | 
| 60 | 60 | return 'windows_intelx86'; | 
| @@ -344,7 +344,7 @@ discard block | ||
| 344 | 344 | handle_get_info(); | 
| 345 | 345 |  } else { | 
| 346 | 346 |      $dev = get_str("dev", true); | 
| 347 | -    $user_agent = get_str("user_agent", true);      // for debugging | |
| 347 | +    $user_agent = get_str("user_agent", true); // for debugging | |
| 348 | 348 |      if (!$user_agent) { | 
| 349 | 349 | $user_agent = $_SERVER['HTTP_USER_AGENT']; | 
| 350 | 350 | } |