# HG changeset patch
# User Jim Hague <jim.hague@acm.org>
# Date 1377890701 -3600
# Node ID 6c96275965d635bfa0becab530c26cc0eb73347a
# Parent  e855ad8f39c05cd24752e9e200df0f2538334999
Attempt to allow IE8 to show audio controller to play files.

This might not work well, and get removed in future.

diff -r e855ad8f39c0 -r 6c96275965d6 dottes.html.tune
--- a/dottes.html.tune	Fri Aug 30 19:52:25 2013 +0100
+++ b/dottes.html.tune	Fri Aug 30 20:25:01 2013 +0100
@@ -61,6 +61,11 @@
               <audio controls>
                 <source src="../@MASTERBOOKE@/@TUNE@.mp3" type="audio/mpeg" />
                 <source src="../@MASTERBOOKE@/@TUNE@.ogg" type="audio/ogg" />
+                <object width="300" height="30" type="audio/x-mpeg">
+                  <param name="URL" value="../@MASTERBOOKE@/@TUNE@.mp3" />
+                  <param name="autoStart" value="false" />
+                  <param name="autoplay" value="false" />
+                </object>
               </audio>
             </div>
             <div class="dottes-tune-footer-right">