Function rustdoc::html::highlight::write_footer

fn write_footer(
    out: &mut dyn Write, 
    playground_button: Option<&str>
) -> Result<()>