null, 'no-pretty' => false, ]; $flags = $options['no-pretty'] ? 0 : JSON_PRETTY_PRINT; if ($options['server_url']) { $spec->servers = [new Server(['url' => $options['server_url']])]; } return json_encode($spec, $flags); } }