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 insertions(+) create mode 100644 framework/Vendor/TextHighlighter/Text/Highlighter/HTML.php (limited to 'framework/Vendor/TextHighlighter/Text/Highlighter/HTML.php') diff --git a/framework/Vendor/TextHighlighter/Text/Highlighter/HTML.php b/framework/Vendor/TextHighlighter/Text/Highlighter/HTML.php new file mode 100644 index 00000000..eaf001e2 --- /dev/null +++ b/framework/Vendor/TextHighlighter/Text/Highlighter/HTML.php @@ -0,0 +1,220 @@ + + * + */ + +/** + * @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)\\