Function clearLogHeader

src/extension/utils/log.ts:44–46

()

const logHeader: string[] = [];
export function clearLogHeader() {
	logHeader.length = 0;
}
export function getLogHeader(suppressHeaderFooter?: boolean) {
	if (!logHeader.length)
		return "";