Today, the Opera Mini servers have been upgraded to 4.13.742. 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; also see
[http://dev.opera.com/articles/view/opera-mini-5-beta-developers/#uastring
http://dev.opera.com]. Toy Love

There is no need to do any changes to benefit from this update since
improvements of the servers affect all Mini users automatically.