Update vscode.proposed.d.ts and required version