Wie wäre es folgendermaßen?
if (!document.getElementsByTagNameNS) {
document.getElementsByTagNameNS = function(prefix, name) {
return this.getElementsByTagName(prefix + ":" + name);
};
}
Ich will nur nochmal nachfragen, geht das wirklich so einfach? Hast du das getestet und funktioniert das bei jedem Browser, der über die Methode nicht verfügt?