[php] highlight_file für HTML

[Thorsten Dikmann]

> die Funktion highlight_file() ist ja eine praktische Sache für PHP-Code.
> Gibt es so etwas (vielleicht als Script) auch für HTML-Code?

Ich erweitere mal: Gibts das für diverse andere Sprachen ... Python, Java ... 
etc??