If you used old Opera (not Opera Classic) on Android and install Opera for Android then it should pick up your old bookmarks automatically. Likewise Opera 12 on a desktop system and a current version of Opera. I don't now anything about Mini, sorry.