Opera Mini detected as Opera Mobile

I tried this user agent: `Opera/9.80 (Android; Opera Mini/36.2.2254/119.132; U; id) Presto/2.12.423 Version/12.16)`
And it's detected as `Opera Mobile`, not `Opera Mini`

```
  "type" => "browser"
  "name" => "Opera Mobile"
  "short_name" => "OM"
  "version" => "10.54"
  "engine" => "Presto"
  "engine_version" => "2.5.25"
  "family" => "Opera"
```