equal
deleted
inserted
replaced
312 <a class="addthis_button_facebook"></a> |
312 <a class="addthis_button_facebook"></a> |
313 <a class="addthis_button_twitter"></a> |
313 <a class="addthis_button_twitter"></a> |
314 <a class="addthis_button_email"></a> |
314 <a class="addthis_button_email"></a> |
315 <a class="addthis_button_compact"></a> |
315 <a class="addthis_button_compact"></a> |
316 </div> |
316 </div> |
317 <script type="text/javascript" src="http://s7.addthis.com/js/250/addthis_widget.js"></script> |
317 <script type="text/javascript" src="https://s7.addthis.com/js/250/addthis_widget.js"></script> |
318 <!-- AddThis Button END --> |
318 <!-- AddThis Button END --> |
319 </div> |
319 </div> |
320 <ul id="onglets"> |
320 <ul id="onglets"> |
321 <?php if (isset($config['semantic_board']) or isset($config['knowtex_url'])) { ?> |
321 <?php if (isset($config['semantic_board']) or isset($config['knowtex_url'])) { ?> |
322 <li class="selected"> |
322 <li class="selected"> |