Code highlighter written in PHP.