Skip to content

[BUGFIX] Prefere anchors over titles in references #996

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Merged
merged 1 commit into from
Apr 20, 2024

Conversation

linawolf
Copy link
Contributor

@linawolf linawolf commented Apr 20, 2024

Resolves #970

@linawolf linawolf self-assigned this Apr 20, 2024
@linawolf linawolf merged commit 1af4aad into main Apr 20, 2024
42 checks passed
@linawolf linawolf deleted the bugfix/header-link branch April 20, 2024 18:13
@phpdoc-bot
Copy link

💚 All backports created successfully

Status Branch Result
1.x

Note: Successful backport PRs will be merged automatically after passing CI.

Questions ?

Please refer to the Backport tool documentation and see the Github Action logs for details

# for free to join this conversation on GitHub. Already have an account? # to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[Bug]: Reference is linked to header instead to defined anchor
2 participants