Added missing PHP syntax coloration