Update extension.ts

Adopt latest API

Alexandru Dima committed 6y ago

694b0d8b178cb14d4802c9a52a7bc75956f74a76

Parent: b9a2751

Committed by GitHub <noreply@github.com> on 3/30/2020, 10:21:30 PM