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

Bring back support for PHP 5.3 #33

Merged
merged 1 commit into from
Dec 30, 2021
Merged

Bring back support for PHP 5.3 #33

merged 1 commit into from
Dec 30, 2021

Conversation

jrfnl
Copy link
Collaborator

@jrfnl jrfnl commented Dec 25, 2021

As Parallel Lint supports PHP 5.3 again since PR 51, it would be helpful for the Highlighter repo to also support PHP 5.3.

Now PHP-Console-Color 1.0.1 has been released, support for PHP 5.3 can be restored for this repo as well.

This restores the PHP 5.3 minimum version along the same lines as before the version drop in 02b6aa6
The PHP 5.3.2 minimum is in-line with the PHP Console Color minimum version for PHP 5.3.

Includes:

  • Enabling a build against PHP 5.3 in the GH Actions workflow.
  • Adjusting the testVersion for the PHPCompatibility checks to 5.3- (5.3 and higher).

@jrfnl jrfnl added this to the 1.0.0 milestone Dec 25, 2021
@jrfnl jrfnl requested a review from grogy December 25, 2021 06:56
As Parallel Lint supports PHP 5.3 again since [PR 51](php-parallel-lint/PHP-Parallel-Lint#51), it would be helpful for the Highlighter repo to also support PHP 5.3.

This restores the PHP 5.3 minimum version along the same lines as before the version drop in 02b6aa6
The PHP 5.3.2 minimum is in-line with the PHP Console Color minimum version for PHP 5.3.

Includes:
* Enabling a build against PHP 5.3 in the GH Actions workflow.
* Adjusting the `testVersion` for the PHPCompatibility checks to `5.3-` (5.3 and higher).
@jrfnl jrfnl force-pushed the feature/support-php-5.3 branch from cdd3241 to 14c2988 Compare December 27, 2021 20:33
@grogy grogy merged commit af9fb65 into master Dec 30, 2021
@grogy
Copy link
Member

grogy commented Dec 30, 2021

Thank you, merged

@jrfnl jrfnl deleted the feature/support-php-5.3 branch December 30, 2021 15:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Development

Successfully merging this pull request may close these issues.

2 participants