- getElementById() case-sensitive hack for IE

alecpl

2008-09-12 bafadd89d7c39e3c2d61a51b59176bc10165e119

 program/js/common.js

@@ -631,3 +631,29 @@
  {
  return String(str).replace(/([.*+?^=!:${}()|[\]\/\\])/g, '\\$1');
  }


// Make getElementById() case-sensitive on IE
if (bw.ie)
  {
  document._getElementById = document.getElementById;
  document.getElementById = function(id)
    {
    var a = [];
    var o = document._getElementById(id);

    while (o.id != id)
      {
      a.push({i:o.id,e:o});
      o.id = '';
      o = document._getElementById(id);
      if (!o) return o;
      }

    for (j=0,jj=a.length; j<jj; j++)
      a[j].e.id = a[j].i;

    a = null;
    return o;
    }
  }