User Agent/Desktop view for Opera Mini?

Last post by r678321: Hi,

using Opera Mini 7.5.1 on Android 2.3.3, could not find anything to switch desktop/mobile view of webpages.

Did I miss it or is it still not implemented?

Regards