0
if ((eregi('opera mini', $_SERVER['HTTP_USER_AGENT'])) == 1)
Как это можно преобразовать?PHP eregi to preg_match конверсия
if ((preg_match('opera mini', $_SERVER['HTTP_USER_AGENT'])) == 1)
Вышеуказанное не работает.
Вы не REGEX, который является дорогостоящим, чтобы найти первое вхождение строки. ['stristr'] (http://php.net/manual/en/function.strstr.php) будет работать нормально. И вы [не должны полагаться на '$ _SERVER ['HTTP_USER_AGENT']'] (http://stackoverflow.com/questions/6465397/is-it-possible-for-serverhttp-user-agent-to-not-be -set) – Max