web/player_embed.php
changeset 1480 d2d28468b410
parent 1199 bba2a67b9da2
child 1539 2eca6c367a75
--- a/web/player_embed.php	Sun Sep 23 17:14:07 2018 +0200
+++ b/web/player_embed.php	Mon Oct 22 17:04:30 2018 +0200
@@ -35,7 +35,7 @@
     )
 );
 
-$protocol_level = min(3,max(0, $protocol_level));
+$protocol_level = min(4,max(0, $protocol_level));
 
 ?>
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
@@ -78,7 +78,7 @@
 <?php if ($protocol_level > 1): ?>
             {
                 type: "Polemic"
-<?php if ($protocol_level < 3): ?>
+<?php if ($protocol_level < 4): ?>
                 ,
                 polemics: []
 <?php endif; ?>