Fix sound notification in Internet Explorer (use mp3 file for IE and other ...

Aleksander Machniak

2013-10-04 bba13c33a097ac35ef8a29ef255be3ac47858f78

 plugins/newmail_notifier/newmail_notifier.js

@@ -71,7 +71,13 @@
// Sound notification
function newmail_notifier_sound()
{
    var elem, src = 'plugins/newmail_notifier/sound.wav';
    var elem, src = 'plugins/newmail_notifier/sound',
        plugin = navigator.mimeTypes ? navigator.mimeTypes['audio/mp3'] : {};

    // Internet Explorer does not support wav files,
    // support in other browsers depends on enabled plugins,
    // so we use wav as a fallback
    src += bw.ie || (plugin && plugin.enabledPlugin) ? '.mp3' : '.wav';

    // HTML5
    try {