From 9651ba66535653626e04b54272679c205dd23e9a Mon Sep 17 00:00:00 2001
From: Ilmari Karonen <vyznev@users.mediawiki.org>
Date: Mon, 22 Dec 2008 11:45:54 +0000
Subject: [PATCH] Add "id" attribute to section anchors, per discussion on
 wikitech-l.

---
 RELEASE-NOTES       | 2 ++
 includes/Linker.php | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index 1732d3db25..4422e99aa8 100644
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -436,6 +436,8 @@ The following extensions are migrated into MediaWiki 1.14:
 * (bug 16712) Special:NewFiles updated to use "newer"/"older" paging messages
   for clarity over "previous/next"
 * (bug 16612) Fixed "noprint" class for Modern skin print style
+* Section anchors now have an "id" attribute as well as a "name" attribute,
+  even when Tidy is not used
 
 === API changes in 1.14 ===
 
diff --git a/includes/Linker.php b/includes/Linker.php
index 7c52476ad3..870112efa9 100644
--- a/includes/Linker.php
+++ b/includes/Linker.php
@@ -1519,7 +1519,7 @@ class Linker {
 	 * @return string HTML headline
 	 */
 	public function makeHeadline( $level, $attribs, $anchor, $text, $link ) {
-		return "<a name=\"$anchor\"></a><h$level$attribs$link <span class=\"mw-headline\">$text</span></h$level>";
+		return "<a name=\"$anchor\" id=\"$anchor\"></a><h$level$attribs$link <span class=\"mw-headline\">$text</span></h$level>";
 	}
 
 	/**
-- 
2.20.1