Они, вероятно, просто загружают файл и затем запускают на них инструмент, подобный FFmpeg .
Пример php для преобразования любого аудиофайла (который может обрабатывать ffmpeg) в mp3 будетнапример:
<?php
// upload audio file and save its file name as $file_name
$short_name = substr($file_name, 0, strpos($file_name, ".")); // get the file name without the file extension
system("ffmpeg -i \"$file_name\" \"$short_name.mp3\"");
?>
You can download your file <a href="output.mp3">here</a>
Возможно, вы захотите сделать его более безопасным, но это должно сработать.На самом деле я не слишком уверен в параметрах командной строки ffmpeg, но вы можете найти больше информации здесь: http://ffmpeg.org/ffmpeg-doc.html