Yes, it would be HDMI. I'm trying to use an HD display for double duty, i.e., the computer and video, but need the headphones.
FWIW, I'm on the 3rd or 4th iterations of the Eizo ColorEgged displays and none of them have headphone jacks yet they are the opposite of cupola. ;) Apparently I did...