En el opera 5.1 solo tienes que editarle el seruer nada mas, cambiando el server que trae y poniendole el server del opera 4.2 este server4.operamini.com:80
y en el google maps asi es bro asi configuralo