PHP highlighting in examples