Skip to content

[1.x] [TASK] Warn about duplicate anchors #1008

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 27, 2024
Merged

Conversation

phpdoc-bot
Copy link

Backport

This will backport the following commits from main to 1.x:

Questions ?

Please refer to the Backport tool documentation

Sphinx also warns about these

(cherry picked from commit 60cc7d9)
@phpdoc-bot phpdoc-bot enabled auto-merge April 27, 2024 08:39
@phpdoc-bot phpdoc-bot merged commit 91c9076 into 1.x Apr 27, 2024
39 checks passed
@phpdoc-bot phpdoc-bot deleted the backport/1.x/pr-1007 branch April 27, 2024 08:43
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants