$HTTP_USER_AGENT non genera niente da svariate versioni del php per motivi di sicurezza. Casomai stiamo parlando di $_SERVER['HTTP_USER_AGENT'].

Detto questo non capisco come pensi che questo sia un argomento di discussione da forum sul php.

Ti sposto su Windows.

p.s. l'user agent è una stringa inviata dal browser, non dal sistema operativo. Per firefox ad esempio esistono estensioni in grado di fartelo modificare a piacimento.