php语法如何根据不同设备类型跳转到对应的页面

据不同设备类型跳转到对应的页面

if($is_mobile){ 
  header('Location: /m/'); // 跳转到移动端首页地址
  exit(); 
}
else{  
  header('Location: /'); // 跳转到PC端首页地址
  exit(); 
}

PS：获取当前判断当前设备类型$is_mobile