trigger_error will terminate script

[theking2]

in https://www.php.net/function.trigger-error there is no mention of an exit(1) being issued when $error_level is E_USER_ERROR by the default error handler.
Also it would be helpful that it will not if a registerd error handler does not issue and exit(1)