[webkit-dev] Extending webkit javascript