From e05df93b8ee0936c37df8e368817dc201e07fb75 Mon Sep 17 00:00:00 2001
From: Yotam Ofek <yotam.ofek@gmail.com>
Date: Thu, 20 Oct 2022 17:56:51 +0000
Subject: [PATCH] Workaround the python vscode extension's polyfill

---
 editors/code/src/config.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts
index 10e243dc896..0aa998db625 100644
--- a/editors/code/src/config.ts
+++ b/editors/code/src/config.ts
@@ -191,7 +191,7 @@ export class Config {
 const VarRegex = new RegExp(/\$\{(.+?)\}/g);
 
 export function substituteVSCodeVariableInString(val: string): string {
-    return val.replaceAll(VarRegex, (substring: string, varName) => {
+    return val.replace(VarRegex, (substring: string, varName) => {
         if (typeof varName === "string") {
             return computeVscodeVar(varName) || substring;
         } else {