PHP-如何提取7z扩展名

Question

我想知道PHP是否可以提取* .7z扩展名。我已经搜索了很多，我所看到的只是* .zip，*。rar等...，但不是7z。这是我尝试过的代码。 ZipArchive();不支持7z。

$zip = new ZipArchive();
$x = $zip->open($target_path);

if($x === true) {
  $zip->extractTo('../uploads/ext');
  $zip->close();

  echo "Your zip file has been unpacked.";
}
else
{
  echo 'not unpacked!';
}

我有许多7z文件，我希望让PHP解压它们以从中获取信息。我在7zip网站上查找了一些资源，但没有运气。

有人对此有任何想法吗？

我正在使用Windows Server 2012。

我希望我解释正确。 谢谢。