web/player_embed.php
changeset 1480 d2d28468b410
parent 1199 bba2a67b9da2
child 1539 2eca6c367a75
equal deleted inserted replaced
1479:2b510a3a0f7d 1480:d2d28468b410
    33         ? $config['protocol_level']
    33         ? $config['protocol_level']
    34         : 3
    34         : 3
    35     )
    35     )
    36 );
    36 );
    37 
    37 
    38 $protocol_level = min(3,max(0, $protocol_level));
    38 $protocol_level = min(4,max(0, $protocol_level));
    39 
    39 
    40 ?>
    40 ?>
    41 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
    41 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
    42 <html lang="en">
    42 <html lang="en">
    43   <head>
    43   <head>
    76                 disable_annotate_btn: true
    76                 disable_annotate_btn: true
    77             },
    77             },
    78 <?php if ($protocol_level > 1): ?>
    78 <?php if ($protocol_level > 1): ?>
    79             {
    79             {
    80                 type: "Polemic"
    80                 type: "Polemic"
    81 <?php if ($protocol_level < 3): ?>
    81 <?php if ($protocol_level < 4): ?>
    82                 ,
    82                 ,
    83                 polemics: []
    83                 polemics: []
    84 <?php endif; ?>
    84 <?php endif; ?>
    85             },
    85             },
    86 <?php endif; ?>
    86 <?php endif; ?>