Update for opera mini

Last post by 203: I don't now what's happening with Opera these days, they seem to have gone off the rails a bit.

Maybe work is being carried out on a major server side update to Opera Mini so that it too uses a webkit based rendering engine.