php - 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)