By gsenarcl.
Wednesday, 1. July 2009, 12:50:55
The global Mini cluster was upgraded by the server team Monday evening CET. The main improvements include:
- enhanced site compatibility
- a fix for pages with internal links
- improved synchronization
- binary files are always offered for download
Since JavaScript site patches are used to improve site compatibility, an enhancement allowing developers to bypass those patches has been included. The setting is available when entering the "
config:" URL, but should always be enabled for normal usage.
All users automatically benefit from the upgrade (no manual change is needed, though it is possible to check the server version using the "
debug:" URL).
Happy surfing!
By gsenarcl.
Wednesday, 10. June 2009, 12:15:41
Our users reported a problem where after visiting feeds, sites were shown in Desktop mode, regardless of the setting before going to the feeds. This morning we pushed a minor server upgrade (new version is 4.10.422) that takes care of the issue.
By gsenarcl.
Monday, 8. June 2009, 13:45:27
The Mini server team released a new version of the Opera Mini server
today. The highlights of this release include:
- fixes for font sizes on some sites
- optimization of bitmap fonts on low-memory phones
- faster JavaScript dialogs
- some download fixes
- fixes for lots of "clicking just reloads" problems
- improved the layout of feeds in mobile view
- site-specific fixes
Even though we put lot of energy in making sites work better, there
remain some not yet solved bugs, most notably in the Desktop version
of Facebook. We're working on them, but had to postpone them to avoid
delaying this release.
As usual, there is no need to make any manual changes to benefit from
a server upgrade. Enjoy using Mini!
By gsenarcl.
Thursday, 28. May 2009, 15:44:02
Yesterday afternoon, a minor upgrade of the servers was made to fix an issue reported by our users (
http://my.opera.com/community/forums/topic.dml?id=276540). The new version is 4.9.516.
By gsenarcl.
Thursday, 28. May 2009, 15:38:56
During a team building session in Poland last week the Mini server team decided to put more ressources in telling the community about server upgrades and relevant changes. The main channel for this information will be this (the Opera Mini) blog.
By ManneS.
Tuesday, 3. February 2009, 14:17:38
opera mini, android, release
Since the release of
Opera Mini 4.2 for Android last week, we have worked on fixing two bugs:
- Prefilled forms will now stay prefilled when opened
- When a video is played on the system player, Opera Mini doesn't exit
The new version is now available on Android Marked (Applications -> Communication).
We hope you all enjoy Opera Mini on Android as much as we do!
Regards,
The Opera Mini team
By barteo.
Wednesday, 28. January 2009, 10:25:55
opera mini, android
Opera Mini 4.2 final for Android is now available in Android Market.
Read more...
By ManneS.
Tuesday, 9. December 2008, 10:27:06
opera mini, release
Today we released a very small upgrade of Opera Mini 4.2. If you don't have a BlackBerry device, or a Nokia 5800, there is no need to upgrade your Opera Mini.
Read more...
By barteo.
Thursday, 27. November 2008, 10:17:54
android, opera mini, beta
Opera Mini 4.2 beta now available for download in Android Market.
Read more...
By ManneS.
Tuesday, 25. November 2008, 09:00:26
opera mini, release
We are proud to announce the release of Opera Mini 4.2. You can download it from
http://mini.opera.comRead more...
WIDGETIZE