Use pugx instead of badgefury for PHP