protected function filterOperaVersion(array &$userAgent)
{
if ('opera' === $userAgent['browser_name'] && strpos($userAgent['string'], ' version/')) {
$userAgent['browser_version'] = preg_replace('|.+\\sversion/([0-9]+\\.[0-9]+)\\s*.*|', '$1', $userAgent['string']);
}
}