https://bugzilla.wikimedia.org/show_bug.cgi?id=9530
Derk-Jan Hartman <hart...@videolan.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |hart...@videolan.org
--- Comment #24 from Derk-Jan Hartman <hart...@videolan.org> 2010-11-15
20:04:15 UTC ---
Jumping to named sections is very common. Numbered sections change, so cannot
be used for section jumping.
And it's not that difficult. A section anchor is basically: section title ->
uri encode -> replace ( '%', '.' )
I do agree we have a lot of issues with id clashing. Anchors really should have
their own prefix, but changing that now would be rather disruptive I fear...
--
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
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
