Eso es lo que podemos leer en Opera Mini Bookmarklets, artículo publicado en Mike Rowehl: This is Mobility.
Si te preguntas, qué es un bookmarklets, puedes consultar la wikipedia, y te dirá más o menos:
Un bookmarklet es un marcador que, en lugar de apuntar a una dirección URL, hace referencia a una pequeña porción de código JavaScript para ejecutar ciertas tareas automáticamente, como por ejemplo:
- Cambiar el diseño de la página (el tamaño de letra o los colores, quitar el fondo, etc.).
- Mostrar información de enlaces, imágenes, formularios, etc.).
- Abrir una consulta directamente en un motor de búsqueda o acerca del texto que hayamos seleccionado.
- Y mucho más…
Y aquí puedes encontrar esosbookmarklets para Opera.