nicholas@2384: // Script to load the relevant JS files if the system supports it
nicholas@2384: 
nicholas@2384: window.onload = function() {
nicholas@2384:     // First check if the Web Audio API is supported
nicholas@2384:     if (window.AudioContext == undefined && window.webkitAudioContext == undefined) {
nicholas@2384:         // Display unsuported error message
nicholas@2384:         var body = document.getElementsByTagName("body")[0];
nicholas@2384:         body.innerHTML = "<h1>Sorry! Your browser is not supported :(</h1><p>Your browser does not support the HTML5 Web Audio API. Please use one of the following supported browsers instead.<p>";
nicholas@2384:         var table = document.createElement("table");
nicholas@2384:         table.border = "0";
nicholas@2384:         table.innerHTML = "<tr><td>Chrome</td><td>v10 or newer</td></tr>";
nicholas@2384:         table.innerHTML += "<tr><td>Firefox</td><td>v25 or newer</td></tr><tr><td>Safari (OSX)</td><td> v6 or newer, OSX only</td></tr>";
nicholas@2384:         table.innerHTML += "<tr><td>Safari (iOS)</td><td>iOS 6.1 or newer</td></tr>";
nicholas@2384:         table.innerHTML += "<tr><td>Edge</td><td>12 or newer</td></tr>";
nicholas@2384:         body.appendChild(table);
nicholas@2384:     } else {
nicholas@2384:         var head = document.getElementsByTagName("head")[0];
nicholas@2384:         var src_list = ['js/specification.js', 'js/core.js', 'js/loudness.js', 'js/xmllint.js', 'js/WAVE.js'];
nicholas@2384:         for (var i=0; i<src_list.length; i++) {
nicholas@2384:             var src = src_list[i];
nicholas@2384:             var script = document.createElement("script");
nicholas@2384:             script.type = "text/javascript";
nicholas@2384:             script.async = false;
nicholas@2384:             script.defer = true;
nicholas@2384:             script.src = src;
nicholas@2384:             head.appendChild(script);
nicholas@2384:         }
nicholas@2384:     }
nicholas@2384: }