Changed return type for throw to mixed|void. Fixes [bug 3412 (#3412)]. Rev: src/builtin_functions.c:1.590