I using an audio player plugin to play mp3 and ogg files. But I'd want the editor to input only a mp3 file and it should automatically be converted into ogg file and send both files to the front-end. Is there any WP function to convert mp3 files into ogg? I've seen some plugins that do that, but they have their own player. I just want the above functionality.