Comprobar si la extensión pthreads está habilitada en PHP