protected function getServers(array $options) { if (!array_key_exists('on', $options)) { $options['on'] = []; } return array_flatten(array_map(function ($name) { return $this->getServer($name); }, (array) $options['on'])); }