Как получить пользовательский агент в PHP
Я использую этот код JS, чтобы узнать, для какого браузера используется пользователь.
<code><script> document.write(navigator.appName); </script> </code>
И я хочу получить этот navigator.appName для php-кода, чтобы использовать его следующим образом:
<code>if ($appName == "Internet Explorer") { // blabla } </code>
Как мне это сделать?