loop setting on player page, various other changes

1 files changed, 11 insertions, 4 deletions

diff --git a/player.php b/player.php
index 150a1087..cd0446e2 100644
--- a/player.php
+++ b/player.php
@@ -1,14 +1,21 @@
-<!DOCTYPE html>
+<?php 
+$params = '?v=' . urlencode($_GET['v']) . '&t=' . urlencode($_GET['t']);
+$loop = ($_GET['loop'] != "0");
+?><!DOCTYPE html>
 <html>
 <head>
     <meta charset="utf-8">
-    <title><?php echo htmlspecialchars($_GET["t"]) ?></title>
+    <title><?php echo htmlspecialchars($_GET['t']); ?></title>
     <link rel="stylesheet" href="playerstyle.css">
-    <script src="defaults.js"></script>
+    <script src="settings.js"></script>
     <script src="playersettings.js"></script>
 </head>
 <body>
-    <video controls loop src="<?php echo htmlspecialchars($_GET["v"]) ?>">
+    <div id="playerheader">
+        <a id="loop0" href="<?php echo $params; ?>&amp;loop=0"<?php if (!$loop) echo ' style="font-weight: bold"'; ?>>[play once]</a>
+        <a id="loop1" href="<?php echo $params; ?>&amp;loop=1"<?php if ($loop) echo ' style="font-weight: bold"'; ?>>[loop]</a>
+    </div>
+    <video controls<?php if ($loop) echo ' loop'; ?> src="<?php echo htmlspecialchars($_GET['v']); ?>">
         Your browser does not support HTML5 video.
     </video>
 </body>