Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Add response to the isRoot priority map #1296

Merged
merged 2 commits into from
Aug 16, 2022

Conversation

DerManoMann
Copy link
Collaborator

@DerManoMann DerManoMann commented Aug 15, 2022

Adds Response to the list of annotations that can be root annotations and therefore qualify to have the phpdoc comment/summary merged in.

Fixes #1280

@DerManoMann DerManoMann merged commit 34c0980 into zircote:master Aug 16, 2022
@DerManoMann DerManoMann deleted the is_root_prio branch August 16, 2022 23:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Root annotation not root?
1 participant