[Sommaire] [Imprimer]

   1  /**
   2   * General Horde UI effects javascript - fixes for IE that can't
   3   * easily be done without browser detection.
   4   *
   5   * $Horde: horde/js/horde.ie.js,v 1.1.2.2 2006/01/29 10:18:20 chuck Exp $
   6   *
   7   * See the enclosed file COPYING for license information (LGPL). If you did not
   8   * receive this file, see http://www.fsf.org/copyleft/lgpl.html.
   9   */
  10  
  11  ToolTips_Option_Windowed_Controls = 1;
  12  
  13  if (typeof Array.prototype.push == 'undefined') {
  14       Array.prototype.push = function() {
  15           var l = this.length;
  16           for (var i = 0; i < arguments.length; i++) {
  17               this[l + i] = arguments[i];
  18           }
  19           return this.length
  20       }
  21  }