/** * @return Manager[] */ public function managers() { return array_map(function (Server $server) { return $server->getManager(); }, $this->pool->getServers()); }