CHIP: Code Highlighting in PHP