Ну, тип файла, который появляется на SD-картах, - 3gp .Не уверен насчет кодировки.
Насколько я могу судить, EXTRA_OUTPUT - это копия видео, которая не заменяет копию, сохраненную в стандартном местоположении.Так что, если вы просто беспокоитесь о правильном расширении, это не действительно имеет значение ...