From 71273d9477b88cca86e6724491c1ea337ee96f05 Mon Sep 17 00:00:00 2001 From: Florian Pritz Date: Wed, 13 Jun 2012 21:27:14 +0200 Subject: 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 --- application/libraries/contrib/aliased.php | 124 --- application/libraries/contrib/cssgen.php | 456 -------- application/libraries/contrib/cssgen2.php | 59 - application/libraries/contrib/example.php | 217 ---- application/libraries/contrib/langcheck.php | 769 ------------- application/libraries/contrib/langwiz.php | 1170 -------------------- application/libraries/contrib/process-geshi-css.pl | 26 - 7 files changed, 2821 deletions(-) delete mode 100644 application/libraries/contrib/aliased.php delete mode 100644 application/libraries/contrib/cssgen.php delete mode 100644 application/libraries/contrib/cssgen2.php delete mode 100644 application/libraries/contrib/example.php delete mode 100644 application/libraries/contrib/langcheck.php delete mode 100644 application/libraries/contrib/langwiz.php delete mode 100644 application/libraries/contrib/process-geshi-css.pl (limited to 'application/libraries/contrib') diff --git a/application/libraries/contrib/aliased.php b/application/libraries/contrib/aliased.php deleted file mode 100644 index e57b495c9..000000000 --- a/application/libraries/contrib/aliased.php +++ /dev/null @@ -1,124 +0,0 @@ - - * @version $Id: aliased.php 881 2007-01-10 11:14:38Z 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