alecpl
2008-09-16 491a6e2901938f49c1e14907f9da615286c81719
program/js/common.js
@@ -631,3 +631,21 @@
  {
  return String(str).replace(/([.*+?^=!:${}()|[\]\/\\])/g, '\\$1');
  }
// Make getElementById() case-sensitive on IE
if (bw.ie)
  {
  document._getElementById = document.getElementById;
  document.getElementById = function(id)
    {
    var i = 0;
    var o = document._getElementById(id);
    if (!o || o.id != id)
      while ((o = document.all[i]) && o.id != id)
        i++;
    return o;
    }
  }