web-types.d.ts