mango-javascript for webkit mobile