Wusstet ihr schon, dass PHP einen internen Highlighter besitzt? Nein?
Stichwort: highlight_string() sowie highlight_file()!
Mehr zur simplen Anwendung:

<?php
highlight_string("<?php echo 'Banane'; ?>");
?>

Trotzdem denke ich, dass dieser interne Highlighter nicht so schön ist, wie der von WordPress (leider finde ich den Namen des Autors von diesem Plugin nicht mehr). Außerdem scheint er nicht mehr XHTML-konform zu sein. Dennoch sind es zwei nette Funktionen. ;)