Unzip files with PHP

The following function takes two parameters: The .zip file to unzip, and the destination directory.