--- 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; ?>