> It is fairly common to spoof or manipulate a browser's user agent
> string.

Woah... that's news to me! Especially considering that Safari and
Opera combined have like 4% of the browser market. I looked at Opera 9
and it's not immediately apparent how to switch user agents (in that,
I was looking for it, and I can't find it anywhere). Additionally, in
Safari you must enable a debug menu on the command-line before you can
even see the menu to change your user agent.

I mean, it's something like this:
Opera and Safari Browser Market >> Number of users who know what a
"user agent" is >> Number of users who change their user agent >> The
number of users who leave their user agent changed.

I mean, I think I'd be generous saying that that's like 10 people --
in the world.

Sorry, I had to get that off my chest.

At least byte-count wise, Corey's fix only adds two characters,
compressed - which is more than acceptable (IMO).

--John

_______________________________________________
jQuery mailing list
[email protected]
http://jquery.com/discuss/

Reply via email to