Aleksander Machniak
2014-04-15 5be6dcf0e2234b22391ad4f654efddd0ba7c0e92
program/js/common.js
@@ -53,7 +53,6 @@
  this.ie = (document.all && !window.opera) || (this.win && this.agent_lc.indexOf('trident/') > 0);
  if (this.ie) {
    this.ie6 = this.appver.indexOf('MSIE 6') > 0;
    this.ie7 = this.appver.indexOf('MSIE 7') > 0;
    this.ie8 = this.appver.indexOf('MSIE 8') > 0;
    this.ie9 = this.appver.indexOf('MSIE 9') > 0;
@@ -530,36 +529,6 @@
roundcube_browser.prototype.set_cookie = setCookie;
roundcube_browser.prototype.get_cookie = getCookie;
// tiny replacement for Firebox functionality
function rcube_console()
{
  this.log = function(msg)
  {
    var box = rcube_find_object('dbgconsole');
    if (box) {
      if (msg.charAt(msg.length-1)=='\n')
        msg += '--------------------------------------\n';
      else
        msg += '\n--------------------------------------\n';
      // Konqueror doesn't allow to just change the value of hidden element
      if (bw.konq) {
        box.innerText += msg;
        box.value = box.innerText;
      } else
        box.value += msg;
    }
  };
  this.reset = function()
  {
    var box = rcube_find_object('dbgconsole');
    if (box)
      box.innerText = box.value = '';
  };
};
var bw = new roundcube_browser();
bw.set_html_class();
@@ -595,20 +564,6 @@
    position = position || 0;
    return this.slice(position, search.length) === search;
  };
}
// Make getElementById() case-sensitive on IE
if (bw.ie) {
  document._getElementById = document.getElementById;
  document.getElementById = function(id) {
    var i = 0, obj = document._getElementById(id);
    if (obj && obj.id != id)
      while ((obj = document.all[i]) && obj.id != id)
        i++;
    return obj;
  }
}
// jQuery plugin to emulate HTML5 placeholder attributes on input elements