From 28b5c7be4afa4a459cd796296edb36db7f39d8fc Mon Sep 17 00:00:00 2001
From: Bruno Pitrus <brunopitrus@hotmail.com>
Date: Fri, 28 Jul 2023 21:20:35 +0200
Subject: [PATCH] fixup: remove mangling in extensions/ (introduced in 1.80)

This also fixes the reproducibility issue mentioned in https://github.com/microsoft/vscode/issues/189124
---
 patches/extensions-disable-mangler.patch | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 patches/extensions-disable-mangler.patch

diff --git a/patches/extensions-disable-mangler.patch b/patches/extensions-disable-mangler.patch
new file mode 100644
index 00000000000..4ba75e96791
--- /dev/null
+++ b/patches/extensions-disable-mangler.patch
@@ -0,0 +1,11 @@
+--- vscode-1.80.1/extensions/mangle-loader.js.old	2023-07-12 18:45:52.000000000 +0200
++++ vscode-1.80.1/extensions/mangle-loader.js	2023-07-28 11:55:01.177444702 +0200
+@@ -37,7 +37,7 @@ function getMangledFileContents(projectP
+  * @type {webpack.LoaderDefinitionFunction}
+  */
+ module.exports = async function (source, sourceMap, meta) {
+-	if (this.mode !== 'production') {
++	if (true) {
+ 		// Only enable mangling in production builds
+ 		return source;
+ 	}