code changes in webkit