Convert mp3 into ogg?

this is not the answer you are looking for, but why not just allow users to upload or input both mp3 and ogg files, and have the player play both mp3 and ogg files?