WorkerPool for PHP