<?php
/* $Id$ */
namespace Mammut\Exception;

(defined('MAMMUT') && (basename(__FILE__) != basename($_SERVER['PHP_SELF']))) or die('ACCESS DENIED');

/**
 * Exception that will be thrown if a needed extension is missing
 *
 * @author Stefan Daurer <s.daurer@q-spot.org>
 * @package Mammut
 */
class ExtensionException extends \Exception {
	const ERR_EXT_NOT_FOUND = 7001;

	public function __construct($extension, $previous = NULL) {
		parent::__construct($extension, self::ERR_EXT_NOT_FOUND, $previous);
	}
}