Changing the code rendered for headers; removing <a name="$anchor">, making into...

diff --git a/includes/Linker.php b/includes/Linker.php
index 5b95abe..f129f82 100644 (file)
--- a/includes/Linker.php
+++ b/includes/Linker.php
@@ -1488,7 +1488,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 "<h$level id=\"$anchor\"$attribs$link <span class=\"mw-headline\">$text</span></h$level>";
        }
 
        /**