Hallo Auge,
jaaaa, okeeeee - ich wollt's halt am Server tun, um nicht auf JS im Browser angewiesen zu sein.
Aber ich schau es mir mal an.
Rolf
Hallo Rolf,
ich habe dies hier im Keller gefunden. Ein PHP Port von Highlight.js:
Beste Grüße
vapita