The folks at opera mini have released the final vesion of operamini 4.2 for android based phones. Opera Mini 4.2 final for Android is now available in Android Market. What is new in this version: Now you can upload and download files through Opera Mini and save pages for offline viewing Videos will be redirected to the system’s video player Double tap now works for zooming in and out Inline [...]