From 6190b68c94e1f48e6d92243ed28a3c190fa54d23 Mon Sep 17 00:00:00 2001
From: Henning Dieterichs <hdieterichs@microsoft.com>
Date: Thu, 23 Sep 2021 14:59:35 +0200
Subject: [PATCH] Repairs build script.

---
 gulpfile.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/gulpfile.js b/gulpfile.js
index 61502e63..0e7a4d79 100644
--- a/gulpfile.js
+++ b/gulpfile.js
@@ -472,7 +472,9 @@ function toExternalDTS(contents) {
 
 		if (line.indexOf('declare let MonacoEnvironment') === 0) {
 			lines[i] = `declare global {\n    let MonacoEnvironment: Environment | undefined;\n}`;
-			// lines[i] = line.replace('declare namespace monaco.', 'export namespace ');
+		}
+		if (line.indexOf('    MonacoEnvironment?') === 0) {
+			lines[i] = `    MonacoEnvironment?: Environment | undefined;`;
 		}
 	}
 	return lines.join('\n').replace(/\n\n\n+/g, '\n\n');