From dc9f83005f69c8c2cb67c28ce12facd40727cafd Mon Sep 17 00:00:00 2001
From: Joshua Pan <joshuapan8@gmail.com>
Date: Fri, 24 Mar 2017 22:25:04 +0000
Subject: [PATCH] Add toggle_mute to muting_ui.js.

---
 static/js/muting_ui.js | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/static/js/muting_ui.js b/static/js/muting_ui.js
index c3dc2d820c..ea881eeed2 100644
--- a/static/js/muting_ui.js
+++ b/static/js/muting_ui.js
@@ -156,6 +156,14 @@ exports.unmute = function (stream, topic) {
     exports.set_up_muted_topics_ui(muting.get_muted_topics());
 };
 
+exports.toggle_mute = function (msg) {
+    if (muting.is_topic_muted(msg.stream, msg.subject)) {
+        exports.unmute(msg.stream, msg.subject);
+    } else if (msg.type === 'stream') {
+        exports.mute(msg.stream, msg.subject);
+    }
+};
+
 $(function () {
     exports.update_muted_topics(page_params.muted_topics);
 });