Mini is more robust is my guess. The space savings for micro might also be insignificant on a lot of devices - it might also cost more. The difference in size between mini and micro connectors is rather minimal when you compare with other connectors. 6.5mm to 3.5mm phono, Apple dock to Lightning, etc.