getHeader('HTTP_USER_AGENT'); if ($userAgent === []) { return false; } foreach ($agent as $regex) { if (preg_match($regex, $userAgent[0])) { return true; } } return false; } }