New Opera Mini Bookmarklets – Ping this! and Copy Page Text

I’ve added several new bookmarklets to the Tools section of the Opera Mini Bookmarklets page at   If you aren’t familiar with bookmarklets they’re JavaScript snippets that live in a browser bookmark’s URL field. They are sort of a lightweight version of FireFox extensions.  Bookmarklets can do all sorts of clever things like changing the color of all the links on a page, displaying site cookies or HTTP headers, translating the page to a different language or posting a link … Continue reading