$frame): ?> getLine(); ?>
getFile(); ?> getEditorHref($filePath, (int) $line)): ?> Open: escape($filePath ?: '<#unknown>') ?> escape($filePath ?: '<#unknown>') ?>
getFileLines($line - 8, 10); // getFileLines can return null if there is no source code if ($range): $range = array_map(function ($line) { return empty($line) ? ' ' : $line;}, $range); $start = key($range) + 1; $code = join("\n", $range); ?> 
escape($code) ?>
getComments(); ?>
$comment): ?>
escape($context) ?> escapeButPreserveUris($comment) ?>