Я бы не рассчитывал на корректную работу getElementById
.Звучит достаточно просто, чтобы выполнить поиск и замену, которая выполняет что-то вроде этого:
// Replace
document.getElementById("foo");
// With
myGetElementById("foo", document);
// Replace
myElement.getElementById("foo");
// With
myGetElementById("foo", myElement);
Тогда вы можете myGetElementById
, как хотите, не беспокоясь о том, что может произойти в старых IE, а что нет, если вы переопределите getElementById
.