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

chore: update PHP integration to 7.28.1 #102

Merged
merged 1 commit into from
May 17, 2022
Merged

chore: update PHP integration to 7.28.1 #102

merged 1 commit into from
May 17, 2022

Conversation

xripoll-at-wiris
Copy link
Contributor

This PR updates the integration library (the PHP backend).

The changes include:

  • Updating the integration folder to contain the latest version of the PHP backend.
  • Updating the thirdpartylibs.xml file to contain the latest version number of the PHP backend.

To validate this PR, please check that these changes have been performed correctly.

@mcagigas-at-wiris
Copy link
Member

OK! Ready for merge.

@xripoll-at-wiris xripoll-at-wiris merged commit 037ce9c into main May 17, 2022
@xripoll-at-wiris xripoll-at-wiris deleted the KB-24231 branch May 17, 2022 14:28
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.

2 participants