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.

diff --git a/stylesheets/wikibits.js b/stylesheets/wikibits.js
index fbae991..e9c7866 100644 (file)
--- 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;