use php error_log if logger is not set

Resolves #8956
I agree.