false, ]; $flags = $options['no-pretty'] ? 0 : JSON_PRETTY_PRINT; return json_encode($spec, $flags | JSON_UNESCAPED_SLASHES); } }