<?php
declare(strict_types=1);
class FreshRSS_Zip_Exception extends Minz_Exception {
private int $zipErrorCode = 0;
public function __construct(int $zipErrorCode) {
parent::__construct('ZIP error!', 2141);
$this->zipErrorCode = $zipErrorCode;
}
public function zipErrorCode(): int {
return $this->zipErrorCode;
}
}