Como obter o user agent em PHP
Estou usando este código JS para saber para qual navegador o usuário está usando.
<code><script> document.write(navigator.appName); </script> </code>
E eu quero pegar este navigator.appName para o código PHP para usá-lo assim:
<code>if ($appName == "Internet Explorer") { // blabla } </code>
Como eu posso fazer isso?