无法阻止 productionTip

[dear-lizhihua]

Version

2.5.13

Reproduction link

https://jsfiddle.net/50wL7mdz/94674/

Steps to reproduce

<script>
  // 这里无法阻止 console.log/console.info，因为 Vue 还没是 undefined。
  // Vue.config.productionTip = false
</script>
<script src="/node_modules/vue/dist/vue.js"></script>
<script>
  // 如果在这里阻止 console，生产提示已经输出到控制台
  Vue.config.productionTip = false
</script>

### What is expected?
阻止 productionTip

### What is actually happening?
无法阻止 productionTip

---
https://github.com/vuejs/vue/commit/a5835c2abf7c9e9db59ee51728e5a2e8d934b097

<!-- generated by vue-issues. DO NOT REMOVE -->

[dear-lizhihua]

vue@2.5.13
// line 8422
Vue$3.nextTick -> setTimeout
改成 setTimeout 就好了……

[dear-lizhihua]

发现 Vue.config.devtools 也无法生效，line 8422 改成 setTimeout 就可以。