From: Aryeh Gregor <simetrical@users.mediawiki.org>
Date: Thu, 13 Mar 2008 19:12:49 +0000 (+0000)
Subject: It's not IE, it's the standards!  We aren't supposed to have names that conflict... 
X-Git-Tag: 1.31.0-rc.0~49133
X-Git-Url: https://git.cyclocoop.org/%27.%24link.%27?a=commitdiff_plain;h=6232139bfd61ef18196b233f13f7700c5fecba46;p=lhc%2Fweb%2Fwiklou.git

It's not IE, it's the standards!  We aren't supposed to have names that conflict in case to begin with. w3.org/TR/html4/struct/links.html#h-12.2.1
---

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 ?