ReferenceError: __VUE_PROD_DEVTOOLS__ is not defined

[gimler]

i get an error when i build for production Uncaught ReferenceError: __VUE_PROD_DEVTOOLS__ is not defined

my workaround:

const DefinePlugin = require('webpack/lib/DefinePlugin')

Encore
...
.addPlugin(
    new DefinePlugin({
      __VUE_PROD_DEVTOOLS__: JSON.stringify(false)
    })
  )

[mbabker]

Encore has a shortcut API for configuring the DefinePlugin:

Encore
    .configureDefinePlugin(options => {
        options.__VUE_OPTIONS_API__ = true;
        options.__VUE_PROD_DEVTOOLS__ = false;
        options.__VUE_PROD_HYDRATION_MISMATCH_DETAILS__ = false;
    })

As for the actual reported error, the Vue team came across to me as pretty dismissive in vuejs/core#10039 when a similar type of issue was raised. Unless someone PR's something to automatically add those flags within the context of Encore, the "workaround" seems to be the right fix since the documentation on https://vuejs.org/api/compile-time-flags is no longer accurate (specifically, "Vue will work even if these flags are not explicitly configured").

[Maks180188]

@mbabker thanks I couldn't find how to specify it in Encore for half a day. Please write a link to the documentation where you found it