微信公众号：开发者工具下载、安装、使用