Isn't it recommanded to use id rather than name to create anchors? If so, it could be a good idea to fix this. We could add the id attribute with the same value as the name attribute.
In Linker.php, line 1521 ( http://svn.wikimedia.org/doc/Linker_8php-source.html#l01521) : > 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>"; > } > (Tell me if I'm wrong.) — Sylvain Brunerie [[w:fr:User:Delhovlyn]] _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
