Skip to content

Remove duplicated PHPDoc from InternalScopeFactory classes#3761

Merged
ondrejmirtes merged 1 commit intophpstan:2.1.xfrom
herndlm:internal-scope-factory-phpdoc
Dec 30, 2024
Merged

Remove duplicated PHPDoc from InternalScopeFactory classes#3761
ondrejmirtes merged 1 commit intophpstan:2.1.xfrom
herndlm:internal-scope-factory-phpdoc

Conversation

@herndlm
Copy link
Contributor

@herndlm herndlm commented Dec 30, 2024

was looking through old PRs of mine and did this once in something that had to be reverted again. I guess it does make sense to not duplicate this if not needed, right?

@ondrejmirtes ondrejmirtes merged commit a83c3dc into phpstan:2.1.x Dec 30, 2024
@ondrejmirtes
Copy link
Member

Thank you!

@herndlm herndlm deleted the internal-scope-factory-phpdoc branch December 30, 2024 13:03
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.

2 participants