no-mime.js #2

bx = document.body;
if(typeof bx!=="undefined"){
    var script = document.createElement("script");
    script.textContent = 'var ex=document.querySelectorAll("source[type]"),lx=ex.length,ix,px=new RegExp("^(audio|video)","i");if(lx!==0){for(ix=0;ix<lx;ix++){if(px.test(ex[ix].type)===true){ex[ix].removeAttribute("type");}}}';
    bx.appendChild(script);
}