OGG will not play in Firefox -- description and fix!

Hi,

OGG files do not play in my jPlayer in Firefox. This was an issue 2 years ago. I'm surprised it still exists. (I'm back at a gig I was at then and updating the module.) Here is the fix I did then and it still works. Should this be applied as a patch? Is there something else I'm missing?

in libraries/jplayer/jquery.jplayer.min.js, change:

oga:{codec:'audio/ogg; codecs="vorbis"',flashCanPlay:!1,media:"audio"}
//to
ogg:{codec:'audio/ogg; codecs="vorbis"',flashCanPlay:!1,media:"audio"}

and in jplayer.theme.inc, jplayer_sort_files(), change:

$audio_extensions = array('mp3', 'm4a', 'oga', 'webma', 'wav',);
// to
$audio_extensions = array('mp3', 'm4a', 'oga', 'webma', 'wav', 'ogg');

And OGGs play in Firefox now :)