> Well, it would be nice. I have already done this for the special CHM > version, and it was discussed that some enhancemenets from there will be > added to the online manual. > > However this coloring can be done on-the-fly with highlight_string()...
Yes, that's exactly what I had in mind. > Well, I have no time for this now, so you're welcome ;)) I'll do it, but I'm not completely happy with the results of the present colorize.php-script, so I will spend some time on it first until I'm satisfied. This should only be used for phpweb, right? (not 'html' for example) Victor -- PHP Documentation Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
