From 4d57caedaa53da50eb55e574762cb82502b5fc02 Mon Sep 17 00:00:00 2001 From: Florian Pritz Date: Sun, 12 Sep 2010 02:04:21 +0200 Subject: switch to geshi for highlighting Signed-off-by: Florian Pritz --- system/application/libraries/contrib/aliased.php | 124 +++++++++++++++++++++++ 1 file changed, 124 insertions(+) create mode 100644 system/application/libraries/contrib/aliased.php (limited to 'system/application/libraries/contrib/aliased.php') diff --git a/system/application/libraries/contrib/aliased.php b/system/application/libraries/contrib/aliased.php new file mode 100644 index 000000000..32bec9239 --- /dev/null +++ b/system/application/libraries/contrib/aliased.php @@ -0,0 +1,124 @@ + + * @version $Id: aliased.php 785 2006-07-19 10:09:45Z oracleshinoda $ + */ + +// Your config here +define("SOURCE_ROOT", "/var/www/your/source/root/"); + +// Assume you've put geshi in the include_path already +require_once("geshi.php"); + +// Get path info +$path = SOURCE_ROOT.$_SERVER['PATH_INFO']; + +// Check for dickheads trying to use '../' to get to sensitive areas +$base_path_len = strlen(SOURCE_ROOT); +$real_path = realpath($path); +if(strncmp($real_path, SOURCE_ROOT, $base_path_len)) { + exit("Stop that."); +} + +// Check file exists +if(!file_exists($path)) { + exit("File not found ($path)."); +} + +// Gather contents +$contents = file_get_contents($path); + +// Prepare GeSHi instance +$geshi =& new GeSHi($contents, "PHP"); +$geshi->set_header_type(GESHI_HEADER_PRE); +$geshi->enable_classes(); +$geshi->enable_line_numbers(GESHI_FANCY_LINE_NUMBERS, 10); +$geshi->set_overall_style('color: #000066; border: 1px solid #d0d0d0; background-color: #f0f0f0;', true); +$geshi->set_line_style('font: normal normal 95% \'Courier New\', Courier, monospace; color: #003030;', 'font-weight: bold; color: #006060;', true); +$geshi->set_code_style('color: #000020;', 'color: #000020;'); +$geshi->set_link_styles(GESHI_LINK, 'color: #000060;'); +$geshi->set_link_styles(GESHI_HOVER, 'background-color: #f0f000;'); +$geshi->set_header_content('Source code viewer'); +$geshi->set_header_content_style('font-family: Verdana, Arial, sans-serif; color: #808080; font-size: 70%; font-weight: bold; background-color: #f0f0ff; border-bottom: 1px solid #d0d0d0; padding: 2px;'); +$geshi->set_footer_content('Parsed in