Add PHP code highlighting