ZipFile doesn't exist but GZipFile ;)

diff --git a/wcfsetup/install/files/lib/util/FileUtil.class.php b/wcfsetup/install/files/lib/util/FileUtil.class.php
index 8139aa3c285089ab715466c4cebd524fee9dff13..abfb1f1a9875e563f6e1721de2af8fa4bb1d6bd1 100644 (file)
--- a/wcfsetup/install/files/lib/util/FileUtil.class.php
+++ b/wcfsetup/install/files/lib/util/FileUtil.class.php
@@ -1,7 +1,7 @@
 <?php
 namespace wcf\util;
 use wcf\system\io\File;
-use wcf\system\io\ZipFile;
+use wcf\system\io\GZipFile;
 use wcf\system\io\RemoteFile;
 use wcf\system\exception\SystemException;
 
@@ -538,7 +538,7 @@ class FileUtil {
                        return false;   
                }
                
-               $sourceFile = new ZipFile($gzipped, 'rb');
+               $sourceFile = new GZipFile($gzipped, 'rb');
                //$filesize = $sourceFile->getFileSize();
                $targetFile = new File($destination);
                while (!$sourceFile->eof()) {