Modify type in web js file