AddExtensionFilter

Adds a filter on file extensions during batch conversion. If enabled, only .mi files are accepted; otherwise, files with any extension are processed.