From 86cccd53eed9e62bdd0e0bdc3290fcc350af93a5 Mon Sep 17 00:00:00 2001
From: Pavle Goloskokovic <pgoloskokovic@gmail.com>
Date: Mon, 8 Jan 2018 19:31:26 +0100
Subject: [PATCH] Defining mute property for HTML5AudioSoundManager class

---
 v3/src/sound/html5/HTML5AudioSoundManager.js | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/v3/src/sound/html5/HTML5AudioSoundManager.js b/v3/src/sound/html5/HTML5AudioSoundManager.js
index 8d99506b4..5dd742118 100644
--- a/v3/src/sound/html5/HTML5AudioSoundManager.js
+++ b/v3/src/sound/html5/HTML5AudioSoundManager.js
@@ -33,4 +33,10 @@ var HTML5AudioSoundManager = new Class({
         this.onBlurPausedSounds = null;
     }
 });
+Object.defineProperty(HTML5AudioSoundManager.prototype, 'mute', {
+    get: function () {
+    },
+    set: function (value) {
+    }
+});
 module.exports = HTML5AudioSoundManager;