Jump to content

Extension:ExtendAnchorTags

From mediawiki.org