By Gerald Senarclens de Grancy.
Friday, 13. November 2009, 10:18:00
Yesterday afternoon the Opera Mini servers were upgraded to version 4.14.938. The main improvements are
- many site specific fixes
- image download page now supports CSS background images
- adjusted JavaScript timeouts (improved user experience on some pages)
Since a server upgrade automatically benefits all users no manual change is required. If you have questions or feedback please post to the
Opera Mini Forum.
By Gerald Senarclens de Grancy.
Tuesday, 6. October 2009, 19:20:14
Today, the Opera Mini servers have been upgraded to 4.13.756. The changes in this release include
- better support for delayed JavaScript events (eg. dynamic menus)
- improved site compatibility
- fixed issues related to phone number detection in websites
- enhancements regarding form submission and handling of forms in general
- handling of images showing maps
- better handling of file downloads
- improved support for mapping sites
- fixed an issue with internal 'go to top' links
A note for web developers: we updated the Opera version number in the
UA string to 9.8.
There is no need to do any changes to benefit from this update since improvements of the servers affect all Mini users automatically.
By Marianne.
Wednesday, 16. September 2009, 06:01:26
beta, release, opera mini 5, opera mini
This is the day you've all been waiting for! Opera Mini 5 beta is hereby ready for download.
Read more...
By Gerald Senarclens de Grancy.
Thursday, 3. September 2009, 08:48:09
The global Mini cluster was upgraded by the server team yesterday afternoon. This release's highlights include:
- improved site compatibility
- better support of image maps
- login and JavaScript dialogs now have enhanced UTF-8 support
- partial support for designMode/ contentEditable was implemented
- <blink> and <marquee> are now always shown
- better handling of pages with very weak contrast
- and many bug fixes
All Opera Mini users automatically benefit from the upgrade (no manual change is needed, though it is possible to check the server version using the "debug:" URL).
Have a lot of fun!
By Gerald Senarclens de Grancy.
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 Gerald Senarclens de Grancy.
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 Gerald Senarclens de Grancy.
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 Gerald Senarclens de Grancy.
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 Gerald Senarclens de Grancy.
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 Marianne.
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
Showing posts 1 -
10 of 63.
WIDGETIZE