Skip to content

Modify phpdocumentor version constraint#9

Merged
greg0ire merged 1 commit intodoctrine:mainfrom
greg0ire:phpdocumentor-1.9
Oct 23, 2025
Merged

Modify phpdocumentor version constraint#9
greg0ire merged 1 commit intodoctrine:mainfrom
greg0ire:phpdocumentor-1.9

Conversation

@greg0ire
Copy link
Member

That's closer to what the website uses. Also, if we don't pin it but use the ^ operator, it should be less maintenance.

That's closer to what the website uses. Also, if we don't pin it but use
the ^ operator, it should be less maintenance.
@greg0ire greg0ire requested a review from paulinevos October 18, 2025 15:49
@greg0ire greg0ire merged commit 5b4712a into doctrine:main Oct 23, 2025
1 check passed
@greg0ire greg0ire deleted the phpdocumentor-1.9 branch October 23, 2025 14:53
@greg0ire greg0ire added the enhancement New feature or request label Oct 23, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants