Opera Mini is a
web browser designed primarily for
mobile phones,
smartphones and
personal digital assistants. Until version 4 it used the
Java ME platform, requiring the mobile device to run Java ME applications. From version 5 it is also available as a native application for
Android,
bada,
iOS,
Symbian OS, and
Windows Mobile. Opera Mini is offered free of charge, supported mainly through deals with mobile operators to have Opera Mini pre-installed in phones, and other sources of revenue such as search advertising deals, licensing and paid bookmarks and Speed Dial placement.