MediaWiki  master
ZipDirectoryReaderError.php
Go to the documentation of this file.
1 <?php
25 class ZipDirectoryReaderError extends Exception {
26  protected $errorCode;
27 
33  public function __construct( $code ) {
34  $this->errorCode = $code;
35  parent::__construct( "ZipDirectoryReader error: $code" );
36  }
37 
41  public function getErrorCode() {
42  return $this->errorCode;
43  }
44 }
Internal exception class.