Merge php pthreads