-#1485349: fixed getElementById wrapper for IE

alecpl

2008-09-13 4c70d1f9a2162a6ca41a4f604dc3466ef22afa16

 program/js/common.js

@@ -642,7 +642,7 @@
    var i = 0;
    var o = document._getElementById(id);

    if (o.id != id)
    if (!o || o.id != id)
      while ((o = document.all[i]) && o.id != id)
        i++;