Hallo Roger,
kann die variable $HTTP_SERVER_VARS[HTTP_USER_AGENT] auch manipuliert werden?
Klar:
$_SERVER['HTTP_USER_AGENT'] = 'hallo';
*scnr*
Mal ernsthaft: In vielen Browsern kannst Du den HTTP-Header, der in PHP dann in dieser Variable steht, verändern. (Opera und Konqueror können es direkt, bei Mozilla bzw. Firebird kann man sich die "Preferences Toolbar" installieren) Und selbst wenn der Browser es nicht kann, kann immernoch ein Proxy dazwischen stehen und den HTTP-Header ändern, bevor er die Anfrage weiterleitet.
Viele Grüße,
Christian