@@ -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 | } |