Function rustdoc::html::highlight::write_footer

pub(in html::highlight) fn write_footer(
    out: &mut String, 
    playground_button: Option<&str>
)