@@ -346,7 +346,7 @@ |
||
346 | 346 | handle_get_info(); |
347 | 347 | } else { |
348 | 348 | $dev = get_str("dev", true); |
349 | - $user_agent = get_str("user_agent", true); // for debugging |
|
349 | + $user_agent = get_str("user_agent", true); // for debugging |
|
350 | 350 | if (!$user_agent) { |
351 | 351 | $user_agent = $_SERVER['HTTP_USER_AGENT']; |
352 | 352 | } |