use different build for different webpack envs to enable Vue DevTools in browser, fixes #5652

Closes #5652

Merge request studip/studip!4268

1 files changed, 16 insertions, 1 deletions

diff --git a/webpack.prod.js b/webpack.prod.js
index 6378db5..9fb89f7 100644
--- a/webpack.prod.js
+++ b/webpack.prod.js
@@ -1,5 +1,6 @@
 const CssMinimizerPlugin = require('css-minimizer-webpack-plugin')
 const TerserPlugin = require('terser-webpack-plugin')
+const CopyPlugin = require('copy-webpack-plugin');
 const common = require('./webpack.common.js')
 const webpack = require('webpack')
 const { merge } = require('webpack-merge')
@@ -27,5 +28,19 @@ module.exports = merge(common, {
                 },
             }),
         ]
-    }
+    },
+    plugins: [
+        new CopyPlugin({
+            patterns: [
+                {
+                    from: './node_modules/vue/dist/vue.global.prod.js',
+                    to: './javascripts/vue.global.prod.js',
+                },
+                {
+                    from: './node_modules/vuex/dist/vuex.global.prod.js',
+                    to: './javascripts/vuex.global.prod.js',
+                },
+            ],
+        }),
+    ]
 })