getContent(), $this->getType($file));
$geshi->enable_line_numbers(GESHI_NORMAL_LINE_NUMBERS);
$geshi->set_header_type(GESHI_HEADER_DIV);
if ($res !== null) {
$geshi->highlight_lines_extra(array_keys($res->annotations));
$geshi->set_highlight_lines_extra_style('background-color: #F2DEDE');
}
return '
'
. str_replace(' ', ' ', $geshi->parse_code())
. '
';
}
/**
* Returns the type of the file, as used by Geshi
*
* @return string
*/
public function getType($file)
{
$ext = $file->getExt();
if (isset($GLOBALS['phorkie']['languages'][$ext]['geshi'])) {
$ext = $GLOBALS['phorkie']['languages'][$ext]['geshi'];
}
return $ext;
}
}
?>