sniffi il contenuto dell'header, esattamente lo user agent ($_SERVER['HTTP_USER_AGENT']), parsi la stringa ottenuta e ne estrapoli l'agente quindi un bel redirect...