Copy a directory with PHP

[Dalziel]

Is there any way to get PHP to make a copy of a directory and all the files in it with a different name, e.g. make a PHP script that created a directory called files2 which was simply a clone of files1.

[Weirdan]

Something like this:

function copydir($source,$destination)
{
mkdir($destination);
if ($dir = @opendir()) {
while (($file = readdir($dir))!==false) {
copy($file,"$destination/$file");
}
closedir($dir);
}
}

[Dalziel]

So $destination is the destination directory, $source is the original, what is $dir?

[Weirdan]

$dir is directory handle, returned by opendir.
http://www.php.net/manual/en/function.opendir.php