Add file extensions for TypeScript (#3867)