Finish removing profile command and related data (#10807)

This commit is contained in:
Jakub Žádník
2023-10-22 14:06:53 +03:00
committed by GitHub
parent a01ef85bda
commit a35ecb4837
10 changed files with 28 additions and 150 deletions

View File

@ -289,11 +289,9 @@ fn to_html(
})
.collect();
return Ok(
Value::list(result, head).into_pipeline_data_with_metadata(Box::new(
PipelineMetadata {
data_source: DataSource::HtmlThemes,
},
)),
Value::list(result, head).into_pipeline_data_with_metadata(PipelineMetadata {
data_source: DataSource::HtmlThemes,
}),
);
} else {
let theme_span = match &theme {