Dealing with compressed files in PHP

I need to solve the following problem with PHP: the user will upload a zip file containing hundreds (possibly thousands) of files. I must unzip these files in a certain directory and after that I must iterate over the name (need the name!) Of each uncompressed file to perform a set of operations on that file. Does anyone know of any PHP tools to handle this kind of problem?