From efe52a463862fbe871125b0022bcc25967745f12 Mon Sep 17 00:00:00 2001
From: Louis Croisez <louis.croisez@gmail.com>
Date: Mon, 8 May 2023 17:50:56 +0200
Subject: [PATCH 1/2] Modified play script to substitute href of <a> tag in
 case that <video> tag is absent. This is for the ShiftFreq feature

---
 scripts/play.php | 34 ++++++++++++++++++++++++----------
 1 file changed, 24 insertions(+), 10 deletions(-)

diff --git a/scripts/play.php b/scripts/play.php
index 49e1072d5..576f4b41a 100644
--- a/scripts/play.php
+++ b/scripts/play.php
@@ -254,21 +254,35 @@ function toggleShiftFreq(filename, shiftAction, elem) {
         elem.setAttribute("title", "This file has been shifted down in frequency.");
         elem.setAttribute("onclick", elem.getAttribute("onclick").replace("shift","unshift"));
         console.log("shifted freqs of " + filename);
-  video=elem.parentNode.getElementsByTagName("video")[0];
-  video.setAttribute("title", video.getAttribute("title").replace("/By_Date/","/By_Date/shifted/"));
-  source = video.getElementsByTagName("source")[0];
-  source.setAttribute("src", source.getAttribute("src").replace("/By_Date/","/By_Date/shifted/"));
-  video.load();
+          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];
+            source.setAttribute("src", source.getAttribute("src").replace("/By_Date/","/By_Date/shifted/"));
+            video[0].load();
+          } else {
+            atag=elem.parentNode.getElementsByTagName("a")[0];
+            atag.setAttribute("href", atag.getAttribute("href").replace("/By_Date/","/By_Date/shifted/"));
+          }
       } else {
         elem.setAttribute("src","images/shift.svg");
         elem.setAttribute("title", "This file is not shifted in frequency.");
         elem.setAttribute("onclick", elem.getAttribute("onclick").replace("unshift","shift"));
         console.log("unshifted freqs of " + filename);
-  video=elem.parentNode.getElementsByTagName("video")[0];
-  video.setAttribute("title", video.getAttribute("title").replace("/By_Date/shifted/","/By_Date/"));
-  source = video.getElementsByTagName("source")[0];
-  source.setAttribute("src", source.getAttribute("src").replace("/By_Date/shifted/","/By_Date/"));
-  video.load();
+          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];
+            source.setAttribute("src", source.getAttribute("src").replace("/By_Date/shifted/","/By_Date/"));
+            video[0].load();
+          } else {
+            atag=elem.parentNode.getElementsByTagName("a")[0];
+            atag.setAttribute("href", atag.getAttribute("href").replace("/By_Date/shifted/","/By_Date/"));
+          }
       }
     }
   }

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 2/2] removed unnecessary logs

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

diff --git a/scripts/play.php b/scripts/play.php
index 576f4b41a..ccb74f6f9 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];