apply_filters

Please add a

$mobile_browser = apply_filters('IOS_Mobile_is_mobile', $mobile_browser);

before

if($mobile_browser>0) { return true; }
else { return false; }

This will provide the freedom to add or remove specific devices that should or should be redirected.

http://ww.wp.xz.cn/extend/plugins/simple-mobile-url-redirect/