title: Firefox does not support MP3 - workaround for a userscript / extension?
body: <p>As stated in <a href="https://stackoverflow.com/q/4923136/427545">Why doesn&#39;t Firefox support the MP3 file format in &lt;audio&gt;</a>, Firefox does not support MP3 for <code>&lt;audio&gt;</code>. For some reason, a <strong>third-party</strong> website does not host files other than mp3, and uses code like the below for embedding mp3 files:</p>
  
  <pre><code>&lt;object CLASSID="CLSID:6BF52A52-394A-11d3-B153-00C04F79FAA6"
          width="1" height="1"&gt;
      &lt;param name="URL" value="media/audio.mp3"&gt;
      &lt;param name="autoStart" value="true"&gt;
  &lt;/object&gt;
  </code></pre>
  
  <p>Since my computer-illiterate client does not use Windows but Ubuntu, this obviously does not work. Now since I have no access to the files on that server, I tried to create a Greasemonkey script that replaces all of these scripts by an <code>&lt;audio&gt;</code> script, but then Firefox 12 complains that MP3 files cannot be played with <code>&lt;audio&gt;</code>. Chromium cannot play it either.</p>
  
  <p>As a workaround I tried replacing it by <code>&lt;embed&gt;</code> and using the VLC plugin, but this time Firefox crashes due to a segmentation fault.</p>
  
  <p>So, I am looking for a method that allows the audio from MP3 files being played in the Firefox or Chromium browser from a userscript or extension. Any ideas?</p>