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

Update minimum versions of development tools #983

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

petk
Copy link
Member

@petk petk commented Apr 25, 2024

  • re2c:
    • PHP 5.1 required 0.9.11+
    • From PHP 5.2 to 8.2: 0.13.4+
    • From PHP 8.3 and later 1.0.3+

This syncs the version ranges style and adds URL anchors so that sections can be linked.

Edit: I'm syncing this with php/doc-en#3346

Copy link

github-actions bot commented Apr 25, 2024

🚀 Commit 1f65eee Deployed on https://web-php-pr-983.preview.thephp.foundation

@Girgias
Copy link
Member

Girgias commented Apr 25, 2024

Similar comment to the doc-en change, please remove PHP 5 era stuff

This syncs the version ranges style and adds URL anchors so that
sections can be linked.

* re2c:
  * From PHP 8.3 and later 1.0.3+
  * From PHP 5.2 to 8.2: 0.13.4+
  * PHP 5.1 required 0.9.11+

PHP 5 era versions are removed.
@petk petk marked this pull request as ready for review April 25, 2024 16:07
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.

None yet

2 participants