Use PHP error / extension code for exiting