diff -r 2b510a3a0f7d -r d2d28468b410 web/player_embed.php --- 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)); ?> @@ -78,7 +78,7 @@ 1): ?> { type: "Polemic" - + , polemics: []