https://bugzilla.wikimedia.org/show_bug.cgi?id=28164
Aryeh Gregor <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution| |WONTFIX --- Comment #3 from Aryeh Gregor <[email protected]> 2011-03-23 01:03:49 UTC --- Because the heading will be added to the table of contents, if there is one, and the table of contents will then link to it. In theory we could avoid emitting the id if there's no TOC, but I don't see the gain. It just reduces consistency. I'm resolving WONTFIX because 1) This markup is valid in HTML5. $wgHtml5 = false is still supported for now, but it won't be supported forever and it's not the default, so the motivation for fixing it is limited. 2) We don't want to break existing id's without good reason, and there's no good reason to break them in non-HTML5 mode if we're going to eventually remove support for it anyway and re-break them. -- Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the assignee for the bug. You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
