Как обрезать заголовок

Есть такой заголовок браузера Opera/9.80 (J2ME/MIDP; Opera Mini/4.4.27270/30.3593; U; ru) Presto/2.8.119 Version/11.10,как правильно с помощью функции strtok обрезать его до Opera Mini/4.4? strtok($_ua, \' (\') так выводит просто Opera 9.80

Изм. 1 раз. / Посл. изм.

NTL 18.08

(3 авг 2013, 18:10)

$str=\'Opera/9.80 (J2ME/MIDP; Opera Mini/4.4.27270/30.3593; U; ru) Presto/2.8.119 Version/11.10\';
list($str1, $str2) = explode(\";\", $str);
//получим:
//$str1=\'Opera/9.80 (J2ME/MIDP\';
//$str2=\'Opera Mini/4.4.27270/30.3593\';
list($str3, $str4) = explode(\".\", $str2);
//получим:
//$str3=\'Opera Mini/4\';
//$str4=\'4\';
$browser=$str3.\'.\'.$str4;//Opera Mini/4.4

anti_dot,А функцией как нибудь можно реализовать?

так попробуй
============
function browser($str){
list($str1, $str2) = explode(\";\", $str);
list($str3, $str4) = explode(\".\", $str2);
$browser=$str3.\'.\'.$str4;
return $browser;
}
$str=\'Opera/9.80 (J2ME/MIDP; Opera Mini/4.4.27270/30.3593; U; ru) Presto/2.8.119 Version/11.10\';
$asd=browser($str);

А не проще, ли?
echo explode(\' \', $str)[0];

Изм. 1 раз. / Посл. изм.

Windler 0.15

(5 авг 2013, 17:31)

Зачем обрезать с головок?