The agent 'oper' in line 118 (function mobile_theme_detect_php) in mobile_theme.module is responsible for this problem.
The module is setting the mobile theme for desktop opera.

the code in line 126 is enough to get opera mini.