Update random_video.js

Armchair-Heavy-Industries · Feb 7, 2024 · 5dc7f9b · 5dc7f9b
1 parent ffcf0d1
commit 5dc7f9b
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/videos/random_video.js b/videos/random_video.js
@@ -1,4 +1,4 @@
-var videos = ["bedspin", "printing", "vasing_big", "vasing_small", "throw1", "throw2", "2023-05-04_00-09-20", "2023-06-08_23-30-36", "PXL_20230706_175035756", "PXL_20240118_141605700.TS1", "leddy"];
+var videos = ["bedspin", "printing", "vasing_big", "vasing_small", "throw1", "throw2", "2023-05-04_00-09-20", "2023-06-08_23-30-36", "PXL_20230706_175035756", "PXL_20240118_141605700.TS1"];
 
 window.addEventListener("DOMContentLoaded", function () {
   var videoTag = document.getElementById("prexz");
@@ -21,12 +21,10 @@ window.addEventListener("DOMContentLoaded", function () {
 
     var webmSource = createSource(`videos/${video}.webm`, 'video/webm');
     var mp4Source = createSource(`videos/${video}.mp4`, 'video/mp4');
-    var gifSource = createSource(`videos/${video}.gif`, 'video/gif');
 
 
     videoTag.appendChild(webmSource);
     videoTag.appendChild(mp4Source);
-    videoTag.appendChild(gifSource);
 
     videoTag.load(); // Important to reload the video tag to apply new sources
   }