Greasemonkey API

January 22, 2009

r8247 -- First pass at implementing the greasemonkey API.

Greasemonkey, beyond letting you inject scripts into pages, provides an extended JavaScript API that lets Greasemonkey scripts do privileged things that normal page JavaScript can't let you do. However, it proved difficult to prevent normal page JavaScript from calling into those APIs.

For our purposes, many Greasemonkey scripts rely on only a few APIs which are relatively safe, so we can just implement those in JavaScript.

(This was a user-contributed patch! Aaron and I [the implementers of Chromium's Greasemonkey support] have higher-priority projects right now so it's rad to see someone else take up the mantle.)