... Pués podrías hacer una función para solo sacar ese dato...
... ... ... ó ocupar algo ya hecho... (sacado de
http://mx2.php.net/function.get-browser )
Código PHP:
<?php
// important to order by parent ie MSIE then OPERA.
$browser = array (
"MSIE", // parent
"OPERA",
"MOZILLA", // parent
"NETSCAPE",
"FIREFOX",
"SAFARI"
);
$info[browser] = "OTHER";
foreach ($browser as $parent) {
$s = strpos(strtoupper($_SERVER['HTTP_USER_AGENT']), $parent);
$f = $s + strlen($parent);
$version = substr($_SERVER['HTTP_USER_AGENT'], $f, 5);
$version = preg_replace('/[^0-9,.]/','',$version);
if (strpos(strtoupper($_SERVER['HTTP_USER_AGENT']), $parent)) {
$info[browser] = $parent;
$info[version] = $version;
}
}
print_r($info);
?>
Como ves... solo tienes un arreglo con 2 índices: $info[browser] y $info[version] y olvidate de lo demás... puedes ver los demás códigos... y bueno... temo que no sé de otra función en PHP para obtener dichos datos... solo en JavaScript... Espero te sirva esto.
Suerte!