Skip to content
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

Die when PHP doc not found in update-property-map.php #11136

Merged
merged 1 commit into from
Feb 17, 2025

Conversation

M393
Copy link
Contributor

@M393 M393 commented Oct 21, 2024

Otherwise an exception is thrown right below, where $docDir is used.

@orklah
Copy link
Collaborator

orklah commented Feb 16, 2025

Can you rebase on 6.x?

@M393 M393 force-pushed the fix-update-property-map branch from deb2e87 to b9df602 Compare February 17, 2025 09:14
@M393 M393 changed the base branch from 5.x to 6.x February 17, 2025 09:14
@orklah orklah added the release:fix The PR will be included in 'Fixes' section of the release notes label Feb 17, 2025
@orklah orklah merged commit 4a25687 into vimeo:6.x Feb 17, 2025
48 of 51 checks passed
@orklah
Copy link
Collaborator

orklah commented Feb 17, 2025

Thanks!

# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
release:fix The PR will be included in 'Fixes' section of the release notes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants