From 5dc3b15fe632d93791aa18d8cb4ec19db951c571 Mon Sep 17 00:00:00 2001
From: nyanloutre <paul.trehiou@protonmail.com>
Date: Wed, 19 Jul 2017 17:01:30 +0200
Subject: [PATCH] Bug javascript

---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index 298ae42..20a8803 100644
--- a/index.html
+++ b/index.html
@@ -205,7 +205,7 @@
         var masthead_video = document.getElementById("masthead-video");
         var video_button = document.getElementById("video-sound");
         
-        masthead_video_mute(mute) {
+        function masthead_video_mute(mute) {
             masthead_video.muted = mute;
             if (mute) {
                 video_button.children[0].children[0].setAttribute("xlink:href", "/vector/sprite.svg#sound-off");