JWT::handleJsonError

static function handleJsonError($errno)
{
	$messages = array(
		JSON_ERROR_DEPTH => 'Maximum stack depth exceeded',
		JSON_ERROR_STATE_MISMATCH => 'Invalid or malformed JSON',
		JSON_ERROR_CTRL_CHAR => 'Unexpected control character found',
		JSON_ERROR_SYNTAX => 'Syntax error, malformed JSON',
		JSON_ERROR_UTF8 => 'Malformed UTF-8 characters' //PHP >= 5.3.3
	);
	throw new DomainException(
		$messages[$errno] ?? 'Unknown JSON error: '.$errno
	);
}