Which USB cable type?

Does the DSO use the mini or micro USB cable? Is this the correct cable?

mini USB cable that seeeduino useed

Would be nice if the specification web page for the DSO was updated to:
PC connection via mini USB B-type
to prevent any future confusion. There is actually 2 mini USB types, mini USB A is deprecated but some may have that type.