* Revert r55555-55557 for now, breaks tabs in special preferences, don't know why

* Revert r55555-55557 for now, breaks tabs in special preferences, don't know why
Also, the following looks wrong:
-       for (var id = 0; id < ta.length; id++) {
+       for (var id in ta) {
                var n = document.getElementById(id);