web/player_embed.php
changeset 654 a5977736d2b0
parent 652 b3ccfdbd581b
child 657 d563fda7b928
--- a/web/player_embed.php	Tue Jul 03 18:19:39 2012 +0200
+++ b/web/player_embed.php	Fri Jul 06 18:22:13 2012 +0200
@@ -51,7 +51,15 @@
             },
             css:'<?php echo(registry_url('metadataplayer','css'));?>',
             widgets: [
-                { type: "Polemic" },
+<?php
+    if (!isset($config['protocol_level']) || $config['protocol_level'] > 1) {
+        echo '{ type: "Polemic"';
+        if (isset($config['protocol_level']) && $config['protocol_level'] < 3) {
+            echo ', polemics: []';
+        }
+        echo '},';
+    }
+?>
                 { type: "Slider" },
                 {
                     type: "Controller",