diff options
| author | Andrei Zmievski <andrei@php.net> | 2000-01-14 19:35:29 +0000 |
|---|---|---|
| committer | Andrei Zmievski <andrei@php.net> | 2000-01-14 19:35:29 +0000 |
| commit | 7d425f38ee37cd68ce64f8b26d32326b79123b42 (patch) | |
| tree | 0bb49f06e9e80217740dea9510fd42c184f19f38 | |
| parent | 24156db2526e62a653e5769b1492366701e815d4 (diff) | |
| download | php-git-7d425f38ee37cd68ce64f8b26d32326b79123b42.tar.gz | |
Since we're highlighting code, put <code> and </code> around the code.
| -rw-r--r-- | Zend/zend_highlight.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Zend/zend_highlight.c b/Zend/zend_highlight.c index c68542c0d1..c68b4cd91f 100644 --- a/Zend/zend_highlight.c +++ b/Zend/zend_highlight.c @@ -81,6 +81,7 @@ ZEND_API void zend_highlight(zend_syntax_highlighter_ini *syntax_highlighter_ini int in_string=0; CLS_FETCH(); + zend_printf("<code>"); zend_printf("<font color=\"%s\">\n", last_color); /* highlight stuff coming back from zendlex() */ token.type = 0; @@ -158,6 +159,7 @@ ZEND_API void zend_highlight(zend_syntax_highlighter_ini *syntax_highlighter_ini zend_printf("</font>\n"); } zend_printf("</font>\n"); + zend_printf("</code>"); } /* |