Как получить пользовательский агент в PHP

Я использую этот код JS, чтобы узнать, для какого браузера используется пользователь.

<script>
  document.write(navigator.appName);
</script>

И я хочу, чтобы это имя navigator.appName транслировалось в код php и использовалось так:

if ($appName == "Internet Explorer") {
  // blabla
}

Как я могу это сделать?