android :: Extra :: mime_types
fun mime_types: JavaString in "Java" `{ return Intent.EXTRA_MIME_TYPES; `}