From d1e0d91711a4c3f22efe98b664f15e175295ff00 Mon Sep 17 00:00:00 2001
From: Louis Croisez <louis.croisez@gmail.com>
Date: Mon, 8 May 2023 17:56:14 +0200
Subject: [PATCH] removed unnecessary logs

---
 scripts/play.php | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/scripts/play.php b/scripts/play.php
index 576f4b4..ccb74f6 100644
--- a/scripts/play.php
+++ b/scripts/play.php
@@ -255,8 +255,6 @@ function toggleShiftFreq(filename, shiftAction, elem) {
         elem.setAttribute("onclick", elem.getAttribute("onclick").replace("shift","unshift"));
         console.log("shifted freqs of " + filename);
           video=elem.parentNode.getElementsByTagName("video");
-          console.log(video)
-          console.log("len of video: " + video.length)
           if (video.length > 0) {
             video[0].setAttribute("title", video[0].getAttribute("title").replace("/By_Date/","/By_Date/shifted/"));
             source = video[0].getElementsByTagName("source")[0];
@@ -272,8 +270,6 @@ function toggleShiftFreq(filename, shiftAction, elem) {
         elem.setAttribute("onclick", elem.getAttribute("onclick").replace("unshift","shift"));
         console.log("unshifted freqs of " + filename);
           video=elem.parentNode.getElementsByTagName("video");
-          console.log(video)
-          console.log("len of video: " + video.length)
           if (video.length > 0) {
             video[0].setAttribute("title", video[0].getAttribute("title").replace("/By_Date/shifted/","/By_Date/"));
             source = video[0].getElementsByTagName("source")[0];