PHP's eregi to preg_match conversion


PHP's eregi to preg_match conversion

if ((eregi('opera mini', $_SERVER['HTTP_USER_AGENT'])) == 1)

我怎样才能转换这个?

if ((preg_match('opera mini', $_SERVER['HTTP_USER_AGENT'])) == 1) 

以上是行不通的。

您需要添加分量表。我选择使用/,其他人选择~#

if ((preg_match('/opera mini/', $_SERVER['HTTP_USER_AGENT'])) == 1)