Changed PHP highlighting.