// Optimize some code when these features are not used. export let sawReadOnlySpans = false, sawCollapsedSpans = false export function seeReadOnlySpans() { sawReadOnlySpans = true } export function seeCollapsedSpans() { sawCollapsedSpans = true }
info at phpclasses dot org