4 class Renderer_Markdown
7 * Converts the code to HTML
9 * @param File $file File to render
10 * @param Tool_Result $res Tool result to integrate
14 public function toHtml(File $file, Tool_Result $res = null)
18 require_once 'markdown.php';
19 $markdown = \markdown($file->getContent());
21 return '<div class="markdown">'