Re: [webkit-dev] Extending webkit javascript