Hallo,
schau Dir mal highlight_file() an.
http://de.php.net/manual/en/function.highlight-file.php
warum highlight_file?, wenn schon hightlight_string().
Aber das bringt mir nichts, das färbt mir den ganzen Code-Teil nur rot ein.
Ich werde es mit Stripslashes versuchen.
Gruß Andreas