PHP eregi到preg_match转换

Question

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

我该怎么转换呢？

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

以上不起作用。

Answer 1

您需要添加分隔符。我选择使用/，其他人选择~或#。

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