Add PHP related plugins