Updated PHP syntax highlight