Я пытаюсь восстановить исходное имя файла в архиве gz с помощью php.
Я попытался использовать gzip и gzfile, и мне удалось распаковать его, но не восстановить исходное имя. Имя, которое я восстанавливаю, - это просто имя архива без gz
Заранее спасибо