Avoid spurious paragraph with new heading id's

Bug 24835.  The use of <a> made the parser put <p> around the tag, so
use <div> instead.  (Something was also adding a name="" attribute, but
I'm not sure what.  That should be killed.)

diff --git a/includes/Linker.php b/includes/Linker.php
index 64fb366..af8332a 100644 (file)
--- a/includes/Linker.php
+++ b/includes/Linker.php
@@ -1439,7 +1439,7 @@ class Linker {
                        . " <span class=\"mw-headline\" id=\"$anchor\">$text</span>"
                        . "</h$level>";
                if ( $legacyAnchor !== false ) {
-                       $ret = "<a id=\"$legacyAnchor\"></a>$ret";
+                       $ret = "<div id=\"$legacyAnchor\"></div>$ret";
                }
                return $ret;
        }