added PHP syntax highlight