在PHP中,如何获得ZIP文件中压缩文件的个数?