I would like my references/notes to have permalinks, i.e. links which do not change when new references are added. So I was wondering whether there is a possibility to remove the number in id and href when references have name attributes.
Behavior I expect:
href="#cite-note-1" (which is the current behavior)
<ref name="foo">...</ref> gives
href="#cite-note-foo" (instead of
href="#cite-note-foo-1" with the current behavior)
This numbering is hardcoded in ReferencesFormatter.php and FootnoteMarkFormatter.php using
$ref['key'] and I do not see any hook or system message able to change that.
Is there a clean way to do this, i.e. without changing Mediawiki core code?