unzip files at server

echo "<p>Using code below, files can be unzipped to a different destination directory.<p>";
echo "<h3>Unzip PHP Files</h3>";

highlight_string("
<?php
$zip = new ZipArchive;
if ($zip->open('dak.zip') === TRUE) {
    $zip->extractTo('dest/d1/');
    $zip->close();
    echo 'ok';
} else {
    echo 'failed';
}
?>
");

echo "<p>Using code below, files can be unzipped to the same destination directory.<p>";

highlight_string('
<?php
	if(system("unzip thesis_18.zip"))
	{
		echo "<p>Files unzipped successfully<p>";

	} else {
		echo "<p>Sorry, Files could not be unzipped!<p>";

	}
?>
');