fix: Disable __VUE_PROD_DEVTOOLS__ for production build

- VueI18n raises ReferenceError: __VUE_PROD_DEVTOOLS__ is not defined in production build
- Add missing ElementPlus import in main as we now use it as devDependency

Author: KapilSachdev

build/webpack.config.js

@@ -146,6 +146,9 @@ module.exports = (env, argv) => {
           // It can be used in the code directly.
           CONFIG_LOCAL: JSON.stringify(configLocal)
         }),
+        new webpack.DefinePlugin({
+          __VUE_PROD_DEVTOOLS__: JSON.stringify(!isDev)
+        }),
         new webpack.IgnorePlugin({
           resourceRegExp: /^fs$/
         }),

src/main.js

@@ -1,10 +1,11 @@
+import ElementPlus from 'element-plus';
 import { createApp } from 'vue';
 import { createI18n } from 'vue-i18n';
 import messages from './common/i18n';
+import { store } from './common/store';
 import EditorPage from './editor/Editor.vue';
-import ExplorePage from './explore/Explore.vue';
 import ViewPage from './editor/View.vue';
-import { store } from './common/store';
+import ExplorePage from './explore/Explore.vue';
 
 /**
  *