php判断android

$agent = strtolower($_SERVER['HTTP_USER_AGENT']);
if(strpos($agent, 'android')){}