no-mime.js #3

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