From 6232139bfd61ef18196b233f13f7700c5fecba46 Mon Sep 17 00:00:00 2001 From: Aryeh Gregor Date: Thu, 13 Mar 2008 19:12:49 +0000 Subject: [PATCH] It's not IE, it's the standards! We aren't supposed to have names that conflict in case to begin with. http://www.w3.org/TR/html4/struct/links.html#h-12.2.1 --- RELEASE-NOTES | 2 +- includes/Parser.php | 3 +-- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/RELEASE-NOTES b/RELEASE-NOTES index 375b95006a..caccce38ab 100644 --- a/RELEASE-NOTES +++ b/RELEASE-NOTES @@ -82,7 +82,7 @@ it from source control: http://www.mediawiki.org/wiki/Download_from_SVN * Adding the fix for lists in RTL wikis to more skins, and fixing the image toc * (bug 8157) Remove redirects from Special:Unusedtemplates. Patch by WebBoy. * (bug 10721) Duplicate section anchors with differing case now disambiguated - for Internet Explorer's sake + for Internet Explorer's sake and standards compliance * (bug 13298) Tighter limits on Special:Newpages limits when embedding diff --git a/includes/Parser.php b/includes/Parser.php index ef4e2a1ed9..00b8900e2f 100644 --- a/includes/Parser.php +++ b/includes/Parser.php @@ -3494,8 +3494,7 @@ class Parser # Save headline for section edit hint before it's escaped $headlineHint = $safeHeadline; $safeHeadline = Sanitizer::escapeId( $safeHeadline ); - # lowercase headline, since some browser don't distinguish - # "Anchor" from "anchor" (bug #10721) + # HTML names must be case-insensitively unique (bug 10721) $arrayKey = strtolower( $safeHeadline ); # XXX : Is $refers[$headlineCount] ever accessed, actually ? -- 2.20.1