switch to pygments

 - faster than geshi
 - easier to modify the css because there is only one
 - geshi upstream seems pretty dead

Signed-off-by: Florian Pritz <bluewind@xinu.at>

1 files changed, 1 insertions, 3 deletions

diff --git a/application/controllers/file.php b/application/controllers/file.php
index ee983a639..3b9a8f9b4 100644
--- a/application/controllers/file.php
+++ b/application/controllers/file.php
@@ -167,9 +167,7 @@ class File extends CI_Controller {
 				// generate line numbers (links)
 				passthru('perl -ne \'print "<a href=\"#n$.\" class=\"no\" id=\"n$.\">$.</a>\n"\' '.escapeshellarg($file));
 				echo '</pre></td><td class="code">'."\n";
-				$this->load->library('geshi');
-				$this->geshi->initialize(array('set_language' => $mode, 'set_source' => file_get_contents($file), 'enable_classes' => 'true'));
-				echo $this->geshi->parse_code();
+				passthru('pygmentize -F codetagify -O encoding=utf-8 -l '.escapeshellarg($mode).' -f html '.escapeshellarg($file));
 			}
 			$cached = ob_get_contents();
 			ob_end_clean();