[PR #12226] [CLOSED] Change phpdocumentor version constraint #13596

Open
opened 2026-01-22 16:17:43 +01:00 by admin · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/doctrine/orm/pull/12226
Author: @greg0ire
Created: 10/18/2025
Status: Closed

Base: 2.20.xHead: phpdocumentor-1.9


📝 Commits (3)

  • 63147a3 Use doctrine/.github v12
  • e3743eb Change phpdocumentor version constraint
  • f78250d Address coding standard issue

📊 Changes

5 files changed (+8 additions, -5 deletions)

View changed files

📝 .github/workflows/coding-standards.yml (+1 -1)
📝 .github/workflows/documentation.yml (+1 -1)
📝 .github/workflows/release-on-milestone-closed.yml (+1 -1)
📝 docs/composer.json (+2 -2)
📝 tests/Tests/ORM/Functional/Ticket/GH12174Test.php (+3 -0)

📄 Description

It should be less maintenance if we do not pin it down too much, and it is closes to what the website uses.


🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/doctrine/orm/pull/12226 **Author:** [@greg0ire](https://github.com/greg0ire) **Created:** 10/18/2025 **Status:** ❌ Closed **Base:** `2.20.x` ← **Head:** `phpdocumentor-1.9` --- ### 📝 Commits (3) - [`63147a3`](https://github.com/doctrine/orm/commit/63147a357a351be7ab157b0f1a493d7cde4227ef) Use doctrine/.github v12 - [`e3743eb`](https://github.com/doctrine/orm/commit/e3743eb52807d4f447d02cabaa4a97e3184ebdcc) Change phpdocumentor version constraint - [`f78250d`](https://github.com/doctrine/orm/commit/f78250d5bd1830035ff8f91fd3a40a0b6cfd3b7b) Address coding standard issue ### 📊 Changes **5 files changed** (+8 additions, -5 deletions) <details> <summary>View changed files</summary> 📝 `.github/workflows/coding-standards.yml` (+1 -1) 📝 `.github/workflows/documentation.yml` (+1 -1) 📝 `.github/workflows/release-on-milestone-closed.yml` (+1 -1) 📝 `docs/composer.json` (+2 -2) 📝 `tests/Tests/ORM/Functional/Ticket/GH12174Test.php` (+3 -0) </details> ### 📄 Description It should be less maintenance if we do not pin it down too much, and it is closes to what the website uses. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
admin added the pull-request label 2026-01-22 16:17:43 +01:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: doctrine/archived-orm#13596