alecpl
2008-09-12 bafadd89d7c39e3c2d61a51b59176bc10165e119
- getElementById() case-sensitive hack for IE 


1 files modified
26 ■■■■■ changed files
program/js/common.js 26 ●●●●● patch | view | raw | blame | history
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;
    }
  }