After a little discussion on php-general[1], I wrote a patch that basically
allows two new php.ini entries: highlight.prepend and highlight.append. They
default to what the output currently is ('<code><font color="#000000">' and
'</code></font>')
The code effects four files; ext/standard/basic_functions.c, main/main.c,
Zend/zend_highlight.c, and Zend/zend_highlight.h
I didn't account for Lisa Seelye's patch, but if there's interest in both
patches I'd be happy to make the changes to mine.
Have a nice day.
[1]: http://marc.theaimsgroup.com/?l=php-general&m=106737816224797&w=2
--
Evan Nemerson
evan@coeus-group.com
--
"A people who mean to be their own governors, must arm themselves with the
power knowledge gives."
-James Madison