path); } parent::__construct($message, $code, $previous); } /** * Returns the HTTP status code for this exception * * @return int */ public function getHTTPCode() { return 423; } }