Ammesso e non concesso che l'header del client sia corretto, puoi recuperarne il valore con

$_SERVER['HTTP_USER_AGENT']

fai un po' di esperimenti con
codice:
<?php
  echo($_SERVER['HTTP_USER_AGENT']);
?>
per varie piattaforme e vedi che ti racconta Win/Mac