EllisLab/CodeIgniter — pull request #685 by Repox (2011-11-21 13:19:19+00:00)
Title: Added 'opera mobi' to user agents making it identified as 'Opera Mini'. ...

...Fixes issue #683

The user agent string for Opera Mini since version 9.80 has added 'opera mobi' for some devices:
http://www.useragentstring.com/pages/Opera%20Mini/