Opera Mini is a mobile web browser exclusively for Android, targeted at low-end devices and lower bandwidth connections. Initially released in 2005, it was derived from the Opera web browser. In March 2012, Opera Mini had 168.8 million active users.[14] In February 2013, Opera reported 300 million unique active Opera Mini users and 150 billion page views served during that month. This represented an increase of 25 million users from September 2012.[15]
When adding extensions support to our Presto engine back in 2010, a lot of time was spent behind the scenes so as to make our extensions framework very versatile and lightweight. Although the initial release was targeted for desktop only, every aspect of the extensions API was drafted with mobile in mind.