From 568b5bfe593b35fe4267a5f73bd5dda433f91b2c Mon Sep 17 00:00:00 2001
From: Samuel Goldszmidt <samuel.goldszmidt@gmail.com>
Date: Mon, 26 Oct 2015 14:57:36 +0100
Subject: [PATCH] Update WebAPIExternal.js

Add AudioContext to the externals.
---
 src/BuiltinExternal/WebAPIExternal.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/BuiltinExternal/WebAPIExternal.js b/src/BuiltinExternal/WebAPIExternal.js
index 49375d4b..a7cf8023 100644
--- a/src/BuiltinExternal/WebAPIExternal.js
+++ b/src/BuiltinExternal/WebAPIExternal.js
@@ -27,3 +27,7 @@
 /**
  * @external {XMLHttpRequest} https://developer.mozilla.org/en/docs/Web/API/XMLHttpRequest
  */
+ 
+ /**
+ * @external {AudioContext} https://developer.mozilla.org/en/docs/Web/API/AudioContext
+ */