PGA Championship Playoff Format Explained: What Happens If There's A Tie

It's an incredibly tight leaderboard at Aronimink this weekend, so how will the playoff for the PGA Championship be settled if required?