mediawiki-extensions-Echo/includes/exception/CatchableFatalErrorException.php
bsitu 4e63ee6164 Hygiene: Update method documentation & split exception to a file
Change-Id: Id77db0f21ee3fdaad4e040c853fadc605df212ea
2014-08-04 17:43:57 -07:00

13 lines
314 B
PHP

<?php
class EchoCatchableFatalErrorException extends MWException {
public function __construct( $errno, $errstr, $errfile, $errline ) {
parent::__construct( "Catchable fatal error: $errstr", $errno );
// inherited protected variables from Exception
$this->file = $errfile;
$this->line = $errline;
}
}