From 786dde43ea21c1990071683a8cf5efd3bd1b791d Mon Sep 17 00:00:00 2001 From: xue <> Date: Fri, 20 Jul 2007 12:33:27 +0000 Subject: Replaced GeSHi with Text_Highlighter --- .../TextHighlighter/Text/Highlighter/DTD.php | 408 +++++++++++++++++++++ 1 file changed, 408 insertions(+) create mode 100644 framework/3rdParty/TextHighlighter/Text/Highlighter/DTD.php (limited to 'framework/3rdParty/TextHighlighter/Text/Highlighter/DTD.php') diff --git a/framework/3rdParty/TextHighlighter/Text/Highlighter/DTD.php b/framework/3rdParty/TextHighlighter/Text/Highlighter/DTD.php new file mode 100644 index 00000000..ad33e528 --- /dev/null +++ b/framework/3rdParty/TextHighlighter/Text/Highlighter/DTD.php @@ -0,0 +1,408 @@ + + * + */ + +/** + * Auto-generated class. DTD 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_DTD extends Text_Highlighter +{ + var $_language = 'dtd'; + + /** + * Constructor + * + * @param array $options + * @access public + */ + function __construct($options=array()) + { + + $this->_options = $options; + $this->_regs = array ( + -1 => '/(\\