php语法如何根据不同设备类型跳转到对应的页面，需要先获取当前判断当前设备类型$is_mobile！