File webpack-no-source-maps.patch of Package code

--- vscode-1.80.1/extensions/shared.webpack.config.js.old	2023-07-12 18:45:52.000000000 +0200
+++ vscode-1.80.1/extensions/shared.webpack.config.js	2023-07-28 10:25:27.305374338 +0200
@@ -24,7 +24,7 @@ const tsLoaderOptions = {
 
 function withNodeDefaults(/**@type WebpackConfig & { context: string }*/extConfig) {
 	const defaultConfig = {
-		mode: 'none', // this leaves the source code as close as possible to the original (when packaging we set this to 'production')
+		mode: 'production', // this leaves the source code as close as possible to the original (when packaging we set this to 'production')
 		target: 'node', // extensions run in a node context
 		node: {
 			__dirname: false // leave the __dirname-behaviour intact
@@ -72,7 +72,7 @@ function withNodeDefaults(/**@type Webpa
 			libraryTarget: 'commonjs',
 		},
 		// yes, really source maps
-		devtool: 'source-map',
+		devtool: false,
 		plugins: nodePlugins(extConfig.context),
 	};
 
@@ -107,7 +107,7 @@ function nodePlugins(context) {
 function withBrowserDefaults(/**@type WebpackConfig & { context: string }*/extConfig, /** @type AdditionalBrowserConfig */ additionalOptions = {}) {
 	/** @type WebpackConfig */
 	const defaultConfig = {
-		mode: 'none', // this leaves the source code as close as possible to the original (when packaging we set this to 'production')
+		mode: 'production', // this leaves the source code as close as possible to the original (when packaging we set this to 'production')
 		target: 'webworker', // extensions run in a webworker context
 		resolve: {
 			mainFields: ['browser', 'module', 'main'],
@@ -158,7 +158,7 @@ function withBrowserDefaults(/**@type We
 			libraryTarget: 'commonjs',
 		},
 		// yes, really source maps
-		devtool: 'source-map',
+		devtool: false,
 		plugins: browserPlugins(extConfig.context)
 	};