A signal handler manager for PHP