MediaWiki REL1_34
ZipDirectoryReaderError.php
Go to the documentation of this file.
1<?php
24class ZipDirectoryReaderError extends Exception {
25 protected $errorCode;
26
27 function __construct( $code ) {
28 $this->errorCode = $code;
29 parent::__construct( "ZipDirectoryReader error: $code" );
30 }
31
35 function getErrorCode() {
36 return $this->errorCode;
37 }
38}
Internal exception class.