What is the playoff format at the PGA Championship at Quail Hollow? How will it be decided if tied after 72 holes?

Each major uses a different format to determine a playoff winner. This is what the men's PGA Championship employs.