Using PHP syntax highlighter