[Plugin: WordPress Mobile Pack] Opera Mobile does not get the "nokia_high/iPhone" theme

I would like to apply the iPhone mobile theme (also Nokia high end) to the Opera Mobile browser on Android but I am not able to sort it out.

In the file group_detection.php I modified the function this way:

function group_detection() {
  $user_agent = strtolower($_SERVER['HTTP_USER_AGENT']);  

  if (
  	strpos($user_agent, 'series60') !== false ||
  	strpos($user_agent, 'maemo') !== false ||
  	strpos($user_agent, 'webkit') !== false ||
	strpos($user_agent, 'opera mobi') !== false
  ) {
    return 'nokia_high';
  }
  if (strpos($user_agent, 'series40') !== false) {
    return 'nokia_mid';
  }
  if (strpos($user_agent, 'nokia') !== false) {
    return 'nokia_low';
  }
  return '';
}

adding the Opera detection, but it still goes back to the default mobile theme.

Any suggestion?

http://ww.wp.xz.cn/extend/plugins/wordpress-mobile-pack/