web/client_new.php
changeset 470 1e091ac28dd9
parent 466 8231b4f3acca
child 477 c236340517d1
equal deleted inserted replaced
469:99d105834315 470:1e091ac28dd9
   158                 <ul id="onglets">
   158                 <ul id="onglets">
   159                     <li class="selected">
   159                     <li class="selected">
   160                         <a href="#vlWrap"><?php echo($translate->_('Video')); ?></a>
   160                         <a href="#vlWrap"><?php echo($translate->_('Video')); ?></a>
   161                     </li>
   161                     </li>
   162                     <li>
   162                     <li>
   163                         <a href="../sweet-tweet/small.html"><?php echo($translate->_('SemanticBoard')); ?></a>
   163                         <a href="semanticboard.php?small=1&theme=jour"><?php echo($translate->_('SemanticBoard')); ?></a>
   164                     </li>
   164                     </li>
       
   165 <?php if (isset($config['knowtex_url'])) { ?>
   165                     <li>
   166                     <li>
   166                         <a href="http://labs.knowtex.com/enmi2011/?mapOnly#carto"><?php echo($translate->_('SocialGraph')); ?></a>
   167                         <a href="<?php echo $config['knowtex_url'] ?>"><?php echo($translate->_('SocialGraph')); ?></a>
   167                     </li>
   168                     </li>
       
   169 <?php } ?>
   168                 </ul>
   170                 </ul>
   169                 <div class="ifwrap" id="vlWrap">
   171                 <div class="ifwrap" id="vlWrap">
   170                     <div id="videoLivePlayer">
   172                     <div id="videoLivePlayer">
   171                     <?php if ($config['islive']):?>
   173                     <?php if ($config['islive']):?>
   172                         <object id="player" classid="clsid:D27CDB6E-AE6D-11cf-96B8-444553540000" name="player" width="<?php echo $videoWidth; ?>" height="<?php echo $videoHeight; ?>">
   174                         <object id="player" classid="clsid:D27CDB6E-AE6D-11cf-96B8-444553540000" name="player" width="<?php echo $videoWidth; ?>" height="<?php echo $videoHeight; ?>">