[Sommaire] [Imprimer]

   1  <script language="JavaScript1.5" type="text/javascript">
   2  <!--
   3  var _setHordeTitle = 1;
   4  try {
   5      if (document.title && parent.frames.horde_main) parent.document.title = document.title;
   6  } catch (e) {
   7  }
   8  // -->
   9  </script>
  10  <script type="text/javascript">
  11  <!--
  12  if (typeof(_setHordeTitle) == 'undefined' && document.title && parent.frames.horde_main) parent.document.title = document.title;
  13  // -->
  14  </script>
  15  <?php if (isset($GLOBALS['notification'])) $GLOBALS['notification']->notify(array('listeners' => array('javascript'))); ?>
  16  </body>
  17  </html>