Opera Mini Blog

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.