Fix PHP code highlighting