Their mobile browser is called Opera Mobile, Opera Mini is something slightly different from a browser, for example it doesn't execute client-side javascript.