[php] Schnelles Highlight Tool

[Peter Bieling]

Hallo,

werft Ihr mal bitte einen Blick auf:
http://www.media-palette.de/tools/php-scripts/highlight-php.html

Ich habe da ein gefundenes Skript aus einem Kommentar in der 
PHP-Dokumentation zu einem "Stanalone"-Tool ausgebaut.

Skript in ein Feld kopieren. Abschicken. Valides HTML wird generiert und 
kann direkt von der Seite kopiert werden.

Bitte Kritik besonders in Form von Verbesserungsvorschlägen.

Viele Grüße

Peter