Use webkitAudioContext on Safari

This incorporates mudcube/MIDI.js#194 into the
MIDI.js library included in our source tree.

Author: gagern

lib/midi/MIDI.js

@@ -309,9 +309,9 @@ MIDI.Player = MIDI.Player || {};
 				api = hash.substr(1);
 			} else if (supports.webmidi) {
 				api = 'webmidi';
-			} else if (window.AudioContext) { // Chrome
+			} else if (window.AudioContext || window.webkitAudioContext) {
 				api = 'webaudio';
-			} else if (window.Audio) { // Firefox
+			} else if (window.Audio) {
 				api = 'audiotag';
 			}
 
@@ -995,7 +995,7 @@ var stopAudio = function() {
 
 (function(root) { 'use strict';
 
-	window.AudioContext && (function() {
+	(window.AudioContext || window.webkitAudioContext) && (function() {
 		var audioContext = null; // new AudioContext();
 		var useStreamingBuffer = false; // !!audioContext.createMediaElementSource;
 		var midi = root.WebAudio = {api: 'webaudio'};
@@ -1385,9 +1385,9 @@ var stopAudio = function() {
 	midi.connect = function(opts) {
 		root.setDefaultPlugin(midi);
 		var errFunction = function(err) { // well at least we tried!
-			if (window.AudioContext) { // Chrome
+			if (window.AudioContext || window.webkitAudioContext) {
 				opts.api = 'webaudio';
-			} else if (window.Audio) { // Firefox
+			} else if (window.Audio) {
 				opts.api = 'audiotag';
 			} else { // no support
 				return;