From de2fc5ee93979d490fe9ee5a7096f79946a1958d Mon Sep 17 00:00:00 2001 From: Brion Vibber Date: Mon, 28 Jun 2004 06:44:55 +0000 Subject: [PATCH] Quick hack for bug 965878; header with text "Preferences" can cause IE/win to look up the wrong element when requesting 'preferences', which then dies horribly. Better future solution will be to ensure that any IDs used are unique. That's not pretty. --- stylesheets/wikibits.js | 1 + 1 file changed, 1 insertion(+) diff --git a/stylesheets/wikibits.js b/stylesheets/wikibits.js index fbae991b60..e9c786611c 100644 --- a/stylesheets/wikibits.js +++ b/stylesheets/wikibits.js @@ -112,6 +112,7 @@ function diffcheck() { function tabbedprefs() { prefform = document.getElementById('preferences'); if(!prefform || !document.createElement) return; + if(prefform.nodeName == 'A') return; // Occasional IE problem prefform.className = prefform.className + 'jsprefs'; var sections = new Array(); children = prefform.childNodes; -- 2.20.1