33.18. $deregisterException

$deregisterException removes the exception denoted by exceptionName from the list of exceptions registered by means of $registerException. If no exception by that name is currently registered, an error message is issued. Distinctions between upper- and lowercase letters are ignored when comparing exceptionName to the STRINGs denoting the registered exceptions.