From 7a4c4e1d8bef906b18845f49beb27180adc93640 Mon Sep 17 00:00:00 2001
From: Tom Gilder <tomgilder@users.mediawiki.org>
Date: Mon, 17 Jan 2005 19:52:17 +0000
Subject: [PATCH] Fix tabbed preferences script

---
 skins/common/wikibits.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/skins/common/wikibits.js b/skins/common/wikibits.js
index 845c331f29..39ea802df4 100644
--- a/skins/common/wikibits.js
+++ b/skins/common/wikibits.js
@@ -112,13 +112,13 @@ function diffcheck() {
 function tabbedprefs() {
     prefform = document.getElementById('preferences');
     if(!prefform || !document.createElement) return;
-    if(prefform.nodeName == 'a') return; // Occasional IE problem
+    if(prefform.nodeName.toLowerCase() == 'a') return; // Occasional IE problem
     prefform.className = prefform.className + 'jsprefs';
     var sections = new Array();
     children = prefform.childNodes;
     var seci = 0;
     for(i=0;i<children.length;i++) {
-        if(children[i].nodeName.indexOf('fieldset') != -1) {
+        if(children[i].nodeName.toLowerCase().indexOf('fieldset') != -1) {
             children[i].id = 'prefsection-' + seci;
             children[i].className = 'prefsection';
             if(is_opera || is_khtml) children[i].className = 'prefsection operaprefsection';
-- 
2.20.1