DisplayPort vs mini DisplayPort

Ben Gaming laptop alıp, onu 144Hz monitöre bağlayıp oynamayı düşünüyorum. Ama bunun için DisplayPort girişine ihtiyacım var. Bir laptop buldum uygun fiyata, ama DisplayPort değil, mini DisplayPort girişi var. Farkları nelerdir?

Fiziksel olarak daha küçük. Teknik olarak ikisi de aynıdır. (DP kendi içerisinde revizyonlara sahiptir ancak bu revizyon olayı mini olup olmaması ile doğrudan bağlantılı değildir.)