开发者工具优化需求？

目前 wx 接口类型提示还没有更新到这几个最新的接口（例如上面的 wx.getRandomValues），预计这周会更新，然后到时新的工具会带上发布。

官方自带的开发者工具应该是有的，如果是用的其他IDE，那可能需要安装一些插件。

你好，后续版本会支持

是不是因为开发工具版本太低？