From 6dae236ec5528522de472637f9d70a98158b9a5d Mon Sep 17 00:00:00 2001 From: Fabio Bas Date: Thu, 5 Feb 2015 11:45:26 +0100 Subject: Renamed 3rdparty directory to vendor MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Php namespaces can’t begin with a number --- .../TextHighlighter/Text/Highlighter/HTML.php | 220 --------------------- 1 file changed, 220 deletions(-) delete mode 100644 framework/3rdParty/TextHighlighter/Text/Highlighter/HTML.php (limited to 'framework/3rdParty/TextHighlighter/Text/Highlighter/HTML.php') diff --git a/framework/3rdParty/TextHighlighter/Text/Highlighter/HTML.php b/framework/3rdParty/TextHighlighter/Text/Highlighter/HTML.php deleted file mode 100644 index eaf001e2..00000000 --- a/framework/3rdParty/TextHighlighter/Text/Highlighter/HTML.php +++ /dev/null @@ -1,220 +0,0 @@ - - * - */ - -/** - * @ignore - */ - -/** - * Auto-generated class. HTML syntax highlighting - * - * @author Andrey Demenev - * @category Text - * @package Text_Highlighter - * @copyright 2004-2006 Andrey Demenev - * @license http://www.php.net/license/3_0.txt PHP License - * @version Release: 0.7.0 - * @link http://pear.php.net/package/Text_Highlighter - */ -class Text_Highlighter_HTML extends Text_Highlighter -{ - var $_language = 'html'; - - /** - * Constructor - * - * @param array $options - * @access public - */ - function __construct($options=array()) - { - - $this->_options = $options; - $this->_regs = array ( - -1 => '/((?i)\\