Función obsoleta eregi

[cactusFantastico]

Hola a todo@s.

Al ejecutar el siguiente código

Código PHP:

function isMobile(){
     return eregi('ipod|iphone|android|opera mini|blackberry|palm os|windows ce',  $_SERVER['HTTP_USER_AGENT']);
}
 

me salta el error

Código PHP:

Deprecated: Function eregi() is deprecated in C:\wamp\www\index.php on line 5
 

Según he leído, la función eregi queda obsoleta y su uso está totalmente desaconsejado desde PHP 5.3.0. ¿Hay alguna función en PHP 5.3 que sustituya la obsoleta eregi()?

Un saludo.

[Vallu]

preg_match() puede ser una alternativa

Fuente: http://es2.php.net/manual/es/function.preg-match.php