From e72224111a21c01ac1587478f8597e932caf0470 Mon Sep 17 00:00:00 2001 From: Chuck Hagenbuch Date: Sat, 2 Oct 2010 17:06:47 -0400 Subject: [PATCH] Remove Text_Highlighter-based highlighter --- framework/devtools/horde-highlight.php | 53 ---------------------------------- framework/devtools/package.xml | 4 --- 2 files changed, 57 deletions(-) delete mode 100755 framework/devtools/horde-highlight.php diff --git a/framework/devtools/horde-highlight.php b/framework/devtools/horde-highlight.php deleted file mode 100755 index 9f9f603ee..000000000 --- a/framework/devtools/horde-highlight.php +++ /dev/null @@ -1,53 +0,0 @@ -#!@php_bin@ - - */ - -if (!isset($argv[1])) { - echo "Usage: highlight.php SOURCE_FILE [HIGHLIGHTER]\n"; - exit; -} - -require_once 'Text/Highlighter.php'; -require_once 'Text/Highlighter/Renderer/Console.php'; - -/* File to highlight. */ -$file = $argv[1]; - -/* Optional highlighter. */ -if (isset($argv[2])) { - $type = $argv[2]; -} else { - /* Try autodetecting. */ - $map = array('cpp' => 'CPP', - 'css' => 'CSS', - 'diff' => 'DIFF', 'patch' => 'DIFF', - 'dtd' => 'DTD', - 'js' => 'JAVASCRIPT', - 'pl' => 'PERL', - 'php' => 'PHP', - 'py' => 'PYTHON', - 'sql' => 'SQL', - 'xml' => 'XML'); - $ext = strtolower(substr($file, strrpos($file, '.') + 1)); - if (isset($map[$ext])) { - $type = $map[$ext]; - } else { - $type = 'PHP'; - } -} - -$hl = Text_Highlighter::factory($type); -$hl->setRenderer(new Text_Highlighter_Renderer_Console()); - -echo $hl->highlight(file_get_contents($file)); diff --git a/framework/devtools/package.xml b/framework/devtools/package.xml index a93ee99f0..e1481612f 100644 --- a/framework/devtools/package.xml +++ b/framework/devtools/package.xml @@ -34,9 +34,6 @@ http://pear.php.net/dtd/package-2.0.xsd"> - - - @@ -55,7 +52,6 @@ http://pear.php.net/dtd/package-2.0.xsd"> - -- 2.11.0