[Typo3-doc] beautified PHP source in docs - how?

[Rupert Germann]

Rainer (Rene) Suthoelder wrote:
> hi!
> how is the colored PHP syntax highliting in all the docs and on the
> typo3.org/documentation/ section produced? is there a special program
> involved?

this is done with the extension "Extension Development
Evaluator" (extdeveval) 
it offers a tool called "syntax highlightning"

greets
rupi