Mozilla und $HTTP_USER_AGENT

[Martin]

hallo zusammen,

ich habe folgendes in meine website eingebaut

<?php
 if (strpos($HTTP_USER_AGENT,"Mozilla")) {
  echo("<link rel="stylesheet" type="text/css" href="../src/style_mozilla.css" />\n");
 } else {
  echo("<link rel="stylesheet" type="text/css" href="../src/style.css" />\n");
 }
?>

PHP funktioniert alles wunderbar, globalVars sind aktiviert, aber das script funktioniert nicht. es liefert immer false, d.h. der standard-style-sheet wird geladen, anstatt dem speziellen für mozilla (bzw firefox).

was ist daran falsch?

gruß
Martin