creater构建小游戏项目,怎么设置压缩呢?

昨天下午一论坛一位老大的好友排行榜功能的源码,发现他的子域项目构建出来的源码是压缩的。
文件名上带着.min字样,我对比了一下他的项目设置,没发现区别,在官方的教程文档也没找到相关的设置。求老司机指导。

在微信开发者工具里面 有个 代码压缩