Merge remote branch 'origin/xorg/maint' into xorg/master
[platal.git] / templates / lists / index.tpl
index 6c7fddb..37a8b87 100644 (file)
 {*                                                                        *}
 {**************************************************************************}
 
+<script type="text/javascript">
+  //<![CDATA[
+  {literal}
+  function updateHtml(id, url)
+  {
+      if (is_IE) {
+          return true;
+      } else {
+          $('#' + id).updateHtml(url);
+          return false;
+      }
+  }
+  {/literal}
+  //]]>
+</script>
+
 <h1>
   Listes de diffusion de Polytechnique.org
 </h1>