Got it in the end. It should be:
<snip>
if ((preg_match("/Mozilla/i", "$agent")) && (preg_match("/Gecko/i",
"$agent"))) {
$result = "You are using Netscape 6 or a later version of Mozilla.";
<snip>
But the thought occurs that there must be a site out there somewhere
which lists the HTTP_USER_AGENT tags for *all* browsers?
--
******************************************************************************
Marx: "Why do Anarchists only drink herbal tea?"
Proudhon: "Because all proper tea is theft."
******************************************************************************
--
PHP General Mailing List (http://www.php.net/)
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
To contact the list administrators, e-mail: [EMAIL PROTECTED]