Avoid spurious paragraph with new heading id's
authorAryeh Gregor <simetrical@users.mediawiki.org>
Tue, 17 Aug 2010 21:55:21 +0000 (21:55 +0000)
committerAryeh Gregor <simetrical@users.mediawiki.org>
Tue, 17 Aug 2010 21:55:21 +0000 (21:55 +0000)
commit985ec501049fe90acc21760d5bfd5733162d69ae
treed644320999f934842d1664350edf88be727c53a0
parent32d89e511d04851c5d73339094555e17905d24f4
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.)
includes/Linker.php