Added PHP highlighting