DefMiExt

This is the default file extension you have whenever you try to export a drawing versus ME10.

DefMiExt=mi Just Mi extension

DefMiExt=mi;* Mi extension or without extension

DefMiExt=mi;dxj;wlo mi, dxj or wlo extensions are admitted