MediaWiki  master
ZipDirectoryReaderError.php
Go to the documentation of this file.
1 <?php
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.