From 03b9bc7ae611001a7be24502bc8512eb9db25cbe Mon Sep 17 00:00:00 2001
From: Jim Hague <jim.hague@acm.org>
Date: Fri, 30 Aug 2013 20:25:01 +0100
Subject: [PATCH] Attempt to allow IE8 to show audio controller to play files.

This might not work well, and get removed in future.
---
 dottes.html.tune | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/dottes.html.tune b/dottes.html.tune
index c932805..2727f57 100644
--- a/dottes.html.tune
+++ b/dottes.html.tune
@@ -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">