Page MenuHomePhabricator

Duplicate headers should have anchor name tag numbered
Closed, InvalidPublic

Description

Author: ui2t5v002

Description:
If you have two headers on a page with the same name, you cannot link to any of
them but the first with URL#headername syntax. When more than one header has
the same name, increment the anchor name tag like

#headername
#headername-2
#headername-3

and so on, and make a title tag for the header with the anchor name inside it,
so we can just hover over the header to see its anchor name.


Version: unspecified
Severity: normal
OS: Windows XP
Platform: PC

Details

Reference
bz3041

Event Timeline

bzimport raised the priority of this task from to Medium.Nov 21 2014, 8:46 PM
bzimport set Reference to bz3041.
bzimport added a subscriber: Unknown Object (MLST).

Duplicate anchors have been numbered for a couple of years.