PHP-Code:
$_SERVER['HTTP_USER_AGENT'
Heißt das Zauberwort