Quick hack for bug 965878; header with text "Preferences" can cause IE/win
authorBrion Vibber <brion@users.mediawiki.org>
Mon, 28 Jun 2004 06:44:55 +0000 (06:44 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Mon, 28 Jun 2004 06:44:55 +0000 (06:44 +0000)
commitde2fc5ee93979d490fe9ee5a7096f79946a1958d
treee7efe0d2069434175e3ac39096f1bfd473fe7c2d
parentc8c54fc890600dd2d39cc2cb2067f628e1069c46
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