[PHP] PHP and making a ZIP file

[Ron Piggott]

Does anyone know how to make a ZIP file using PHP?  This is for an
application where the files the user selected will be put into a ZIP
file and then the ZIP file made available for download.  Ron