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