OperaMini detection improvements

ref #7484

Author: sanchezzzhak

Tests/Parser/Client/fixtures/browser.yml

@@ -7612,3 +7612,12 @@
     engine: Blink
     engine_version: 105.0.5195.68
     family: Chrome
+-
+  user_agent: Opera/9.80 (J2ME/MIDP; Opera Mini/9.80 (S60; SymbOS; Opera Mobi/23.348; U; en) Presto/2.5.25 Version/10.54
+  client:
+    type: browser
+    name: Opera Mini
+    version: "9.80"
+    engine: Presto
+    engine_version: 2.5.25
+    family: Opera

regexes/client/browsers.yml

@@ -1584,7 +1584,7 @@
     default: 'WebKit'
 
 #Opera
-- regex: '(?:Opera Tablet.*Version|Opera/.+Opera Mobi.+Version|Mobile.+OPR)/(\d+[\.\d]+)'
+- regex: '(?:Opera Tablet.*Version|Opera/.+(?<!SymbOS; )Opera Mobi.+Version|Mobile.+OPR)/(\d+[\.\d]+)'
   name: 'Opera Mobile'
   version: '$1'
   engine:
@@ -1616,7 +1616,7 @@
   version: '$1'
   engine:
     default: 'Blink'
-- regex: 'Opera/(\d+\.[\.\d]+) .*Opera Mobi'
+- regex: 'Opera/(\d+\.[\.\d]+) .*(?<!SymbOS; )Opera Mobi'
   name: 'Opera Mobile'
   version: '$1'
   engine: