Для всех наших мобильных сайтов мы регистрируем все входящие запросы к нашим страницам с помощью PHP-скрипта. Каждый день мы получаем тысячи обращений от Opera mini, и мы использовали приведенный ниже фрагмент кода, чтобы определить правильный пользовательский агент.
if (array_key_exists("X-OperaMini-Phone", $headers))
{
$ua= mysql_real_escape_string('Opera-').($headers["X-OperaMini-Phone"]);
}
else
{ $ua = mysql_real_escape_string($_SERVER['HTTP_USER_AGENT']); }
Однако, поработав некоторое время, я обнаружил, что в подавляющем большинстве случаев заголовок X-OperaMini-Phone пуст. Код выше выглядит правильно? И если да, то можете ли вы пролить свет на то, почему?