extensions，extensions文件夹是做什么的怎么删除掉