From 5dc7f9bed4bbd4e699ad231b66201d8708ad6a57 Mon Sep 17 00:00:00 2001
From: Derpimus - Liam Raithel
 <76272488+lraithel15133@users.noreply.github.com>
Date: Tue, 6 Feb 2024 19:05:49 -0600
Subject: [PATCH] Update random_video.js

---
 videos/random_video.js | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/videos/random_video.js b/videos/random_video.js
index 14e7ec0..a43fdba 100644
--- 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
   }