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

Raise PHP functional level to 7.2 #1201

Merged
merged 8 commits into from Feb 14, 2020
Merged

Raise PHP functional level to 7.2 #1201

merged 8 commits into from Feb 14, 2020

Commits on Feb 14, 2020

  1. Bump to PHP 7.2

    tvdijen committed Feb 14, 2020
    Copy the full SHA
    8f9b225 View commit details
    Browse the repository at this point in the history
  2. Update docs / version check

    tvdijen committed Feb 14, 2020
    Copy the full SHA
    8b3e4a4 View commit details
    Browse the repository at this point in the history
  3. Bump to PHP 7.2

    tvdijen committed Feb 14, 2020
    Copy the full SHA
    190d10f View commit details
    Browse the repository at this point in the history
  4. Copy the full SHA
    2e2219b View commit details
    Browse the repository at this point in the history
  5. Fix merge mistake

    tvdijen committed Feb 14, 2020
    Copy the full SHA
    4beed8a View commit details
    Browse the repository at this point in the history
  6. Remove duplicate entry

    tvdijen committed Feb 14, 2020
    Copy the full SHA
    f18caa0 View commit details
    Browse the repository at this point in the history
  7. Add PHP 7.4

    tvdijen committed Feb 14, 2020
    Copy the full SHA
    4cf4391 View commit details
    Browse the repository at this point in the history
  8. Update doc

    tvdijen committed Feb 14, 2020
    Copy the full SHA
    fa5a96b View commit details
    Browse the repository at this point in the history