Hallo Swen,
Die Antwort lautet: Sowas gibt es nicht. PHP agiert serverseitig, es kriegt absolut keine gesicherten Informationen darüber, welcher User-Agent wirklich verwendet wird (die Angaben im HTTP-Header können gelogen und/oder kreativ ausgedacht sein) - folglich kann man mit PHP zwar etwas rumraten, aber niemals sicher sein.
Absolute Sicherhiet ist immer schwer, aber die Leute, die mit falschen User-Agent-Strings surfen, sind nicht gerade zahlreich, da es eigentlich keinen guten Grund dafür gibt. Das machen eigentlich wohl nur Webdesigner, und nachdem das auch nicht mit allen Browsern geht, ist man wohl auf der sicheren Seite, wenn man denen das CSS für Mozilla gibt. (Falls Sie mit Fantasienamen surfen. Wenn Sie unbedingt so tun wollen, als surften sie z.B. mit NS4, dann bekommen Sie in Gottesnamen halt auch die Seite für diesen Browser, irgendwie will in diesem Fall bei mir nicht das Gefühl aufkommen, daß ich einen armen, unschuldigen Surfer ausgesperrt habe.)
Oder:
Wer User-Agent-Strings nachmacht oder verfälscht, oder sich nachgemachte oder verfälschte verschafft und in Umlauf bringt, wird mit CSS ohne besondere Anpassung bestraft.
;-)
Viele Grüße
Stephan