Hallo,
Vielleicht solltest Du Deinem zu highlightenden String vorm Highlighten noch <?php voranstellen und ?> anhängen, ich vermute, daß die highlight-Funktion dies so haben will.
Genau so klappt das, siehe http://forum.de.selfhtml.org/archiv/2003/11/62908/#m356257.
MfG, Thomas