[Sommaire] [Imprimer]

   1  // Alias main HTML_AJAX functions to shorter names

   2  // See Main.js for License/Author details

   3  var $u = HTML_AJAX_Util;
   4  var $a = HTML_AJAX;
   5  if (!$) {
   6      var $ = HTML_AJAX_Util.getElement;
   7  }