我在开发一个小程序，他的一个功能是通过 wxml中的input组件把用户输入的数字保存到云数据库里。

然后我想实现的是把数据库里的数据导出为txt，json，或者excel（什么格式都行）然后保存到真机上。

比如说用户输入123456，然后用户按下面的‘下载文件’按钮之后能下载包括用户输入数据的文件。

这功能在微信开发者工具上能实现吗？