didou Sat Feb 3 19:35:46 2007 UTC
Modified files: /phpdoc/scripts html_syntax.php Log: Use CSS defs http://cvs.php.net/viewvc.cgi/phpdoc/scripts/html_syntax.php?r1=1.9&r2=1.10&diff_format=u Index: phpdoc/scripts/html_syntax.php diff -u phpdoc/scripts/html_syntax.php:1.9 phpdoc/scripts/html_syntax.php:1.10 --- phpdoc/scripts/html_syntax.php:1.9 Sat Feb 3 19:03:35 2007 +++ phpdoc/scripts/html_syntax.php Sat Feb 3 19:35:46 2007 @@ -40,15 +40,6 @@ } function callback_highlight_xml($matches) { - $color = array( - 'attributes' => '#333366', - 'tags' => '#000066', - 'comment' => '#666666', - 'keyword' => '#cc6600', - 'string' => '#006600', - 'cdata' => '#990000', - ); - $source = htmlentities($matches[1]); $match = array( @@ -62,19 +53,18 @@ '/<!\[CDATA\[(.*)\]\]>/i', ); - $replace = array( - '<span style="color: ' .$color['attributes']. '">$1</span>=<span style="color: ' .$color['string']. '">$2$3$2</span>', - '<span style="color: ' .$color['tags']. ';">!DOCTYPE</span> <span style="color: ' .$color['attributes']. '">$1 $2 $3$4$3</span>', - '<<span style="color: ' .$color['tags']. ';">$1</span>', - '</<span style="color: ' .$color['tags']. ';">$1</span>>', - '<span style="color: ' .$color['comment']. '"><!--', + '<span class="attributes">$1</span>=<span class="string">$2$3$2</span>', + '<span class="tags">!DOCTYPE</span> <span class="attributes">$1 $2 $3$4$3</span>', + '<<span class="tags">$1</span>', + '</<span class="tags">$1</span>>', + '<span class="comment"><!--', '--></span>', - '<<span style="color: ' .$color['tags']. ';">?xml</span> $1 <span style="color: ' .$color['tags']. ';">?</span>>', - '<span style="color: ' .$color['tags']. ';"><![<span style="color: ' . $color['keyword']. '">CDATA</span>[</span><span style="color: ' .$color['cdata']. ';">$1</span><span style="color: ' .$color['tags']. ';">]]></span>' + '<<span class="tags">?xml</span> $1 <span class="tags">?</span>>', + '<span class="tags"><![<span class="keyword">CDATA</span>[</span><span class="cdata">$1</span><span class="tags">]]></span>' ); - return preg_replace($match, $replace, $source); + return '<div class="xmlcode">' . preg_replace($match, $replace, $source) . '</div>'; } $files = $_SERVER["argv"];