• A mobile web browser developed by Opera. It was primarily designed for the Java ME platform, as a low-end sibling for Opera Mobile. Opera Mini was previously developed for iOS, Windows 10 Mobile, Windows Phone 8.1, BlackBerry, Symbian, and Bada. As of 2022, the Android build is the only version still under active development. Opera Mini requests web pages through Opera’s compression servers, which process and compress requested web pages before sending them to the mobile phone. ← Wikipedia ↑ opera.com/mobile/mini

1. Previous term: Opera
2. Next term: Operand
3. Random term: Progressive hydration