player.php

   1 <?php
   2 /* This file is dedicated to the public domain; you may do as you wish with it. */
   3 $v = @(string)$_GET['v'];
   4 $t = @(string)$_GET['t'];
   5 $loop = @(boolean)$_GET['loop'];
   6
   7 $params = '?v=' . urlencode($v) . '&amp;t=' . urlencode($t);
   8 ?><!DOCTYPE html>
   9 <html>
  10 <head>
  11     <meta charset="utf-8">
  12     <title><?php echo htmlspecialchars($t); ?></title>
  13     <link rel="stylesheet" href="stylesheets/webm/playerstyle.css">
  14     <script src="js/webm-settings.js"></script>
  15     <script src="js/webm/playersettings.js"></script>
  16 </head>
  17 <body>
  18     <div id="playerheader">
  19         <a id="loop0" href="<?php echo $params; ?>&amp;loop=0"<?php if (!$loop) echo ' style="font-weight: bold"'; ?>>[play once]</a>
  20         <a id="loop1" href="<?php echo $params; ?>&amp;loop=1"<?php if ($loop) echo ' style="font-weight: bold"'; ?>>[loop]</a>
  21     </div>
  22     <div id="playercontent">
  23         <video controls<?php if ($loop) echo ' loop'; ?> src="<?php echo htmlspecialchars($v); ?>">
  24             Your browser does not support HTML5 video. <a href="<?php echo htmlspecialchars($v); ?>">[Download]</a>
  25         </video>
  26     </div>
  27 </body>
  28 </html>