Page Menu
Home
Phabricator
Search
Configure Global Search
Log In
Files
F4207
10721.diff
Public
Actions
View File
Edit File
Delete File
View Transforms
Subscribe
Mute Notifications
Award Token
Flag For Later
Authored By
•
bzimport
Nov 21 2014, 9:53 PM
2014-11-21 21:53:48 (UTC+0)
Size
1 KB
Referenced Files
None
Subscribers
None
10721.diff
View Options
Index: Parser.php
===================================================================
--- Parser.php (révision 31892)
+++ Parser.php (copie de travail)
@@ -3494,11 +3494,16 @@
# 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)
+ $arrayKey = strtolower($safeHeadline)
+
+ # XXX : Is $refers[$headlineCount] ever accessed, actually ?
$refers[$headlineCount] = $safeHeadline;
# count how many in assoc. array so we can track dupes in anchors
- isset( $refers[$safeHeadline] ) ? $refers[$safeHeadline]++ : $refers[$safeHeadline] = 1;
- $refcount[$headlineCount] = $refers[$safeHeadline];
+ isset( $refers[$arrayKey] ) ? $refers[$arrayKey]++ : $refers[$arrayKey] = 1;
+ $refcount[$headlineCount] = $refers[$arrayKey];
# Don't number the heading if it is the only one (looks silly)
if( $doNumberHeadings && count( $matches[3] ) > 1) {
File Metadata
Details
Attached
Mime Type
text/x-diff
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
3772
Default Alt Text
10721.diff (1 KB)
Attached To
Mode
T12721: Case insensitivity in section anchors
Attached
Detach File
Event Timeline
Log In to Comment